Autor der Publikation

A dynamic approach to MPE and weighted MAX-SAT

, , und . IJCAI'07: Proceedings of the 20th international joint conference on Artifical intelligence, Seite 173--179. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Combining Component Caching and Clause Learning for Effective Model Counting., , , , und . SAT, (2004)Research on the Influence of Vacuum Pipe Blocking Ratio on the Aerodynamic Characteristics of Super High Speed Train., , und . CSCWD, Seite 931-935. IEEE, (2021)Performing Bayesian Inference by Weighted Model Counting., , und . AAAI, Seite 475-482. AAAI Press / The MIT Press, (2005)A dynamic approach to MPE and weighted MAX-SAT, , und . IJCAI'07: Proceedings of the 20th international joint conference on Artifical intelligence, Seite 173--179. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)Real-time simulation of violent boiling in concentrated sulfuric acid dilution., , , , , , und . Vis. Comput., 37 (9-11): 2631-2642 (2021)Real-Time Fluid Simulation with Atmospheric Pressure Using Weak Air Particles., , , , und . CGI, Volume 13002 von Lecture Notes in Computer Science, Seite 151-164. Springer, (2021)Heuristics for Fast Exact Model Counting., , und . SAT, Volume 3569 von Lecture Notes in Computer Science, Seite 226-240. Springer, (2005)A Dynamic Approach for MPE and Weighted MAX-SAT., , und . IJCAI, Seite 173-179. (2007)On the Conjecture by Demyanov-Ryabova in Converting Finite Exhausters.. J. Optim. Theory Appl., 174 (3): 712-727 (2017)UTS Unleashed! RoboCup@Home SSPL Champions 2019., , , , , , , , , und 12 andere Autor(en). RoboCup, Volume 11531 von Lecture Notes in Computer Science, Seite 603-615. Springer, (2019)