Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Performing Bayesian Inference by Weighted Model Counting., , and . AAAI, page 475-482. AAAI Press / The MIT Press, (2005)Combining Component Caching and Clause Learning for Effective Model Counting., , , , and . SAT, (2004)Research on the Influence of Vacuum Pipe Blocking Ratio on the Aerodynamic Characteristics of Super High Speed Train., , and . CSCWD, page 931-935. IEEE, (2021)A Dynamic Approach for MPE and Weighted MAX-SAT., , and . IJCAI, page 173-179. (2007)UTS Unleashed! RoboCup@Home SSPL Champions 2019., , , , , , , , , and 12 other author(s). RoboCup, volume 11531 of Lecture Notes in Computer Science, page 603-615. Springer, (2019)Real-Time Fluid Simulation with Atmospheric Pressure Using Weak Air Particles., , , , and . CGI, volume 13002 of Lecture Notes in Computer Science, page 151-164. Springer, (2021)A dynamic approach to MPE and weighted MAX-SAT, , and . IJCAI'07: Proceedings of the 20th international joint conference on Artifical intelligence, page 173--179. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)Heuristics for Fast Exact Model Counting., , and . SAT, volume 3569 of Lecture Notes in Computer Science, page 226-240. Springer, (2005)