( en | de | ru )

 

Disambiguierung von "Mitchell, David G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Enfragmo: A System for Modelling and Solving Search Problems with Logic.

, , , , und . LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 15-22. Springer, (2012)

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.

David G Wigg

David G Long

Daniell Mitchell

Gail Mitchell

Brian Mitchell

 

Weitere Publikationen von Autoren mit dem selben Namen

Problem Solving with the Enfragmo System., , und . Theory Pract. Log. Program., (2013)New Encoding for Translating Pseudo-Boolean Constraints into SAT., , und . SARA, AAAI, (2013)Clause-Learning for Modular Systems., und . LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 446-452. Springer, (2015)Resolution Complexity of Random Constraints.. CP, Volume 2470 von Lecture Notes in Computer Science, Seite 295-309. Springer, (2002)Enfragmo: A System for Modelling and Solving Search Problems with Logic., , , , und . LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 15-22. Springer, (2012)The Resolution Complexity of Random Graph k-Colorability, , , und . Electron. Colloquium Comput. Complex., (2004)Resolution and Constraint Satisfaction.. CP, Volume 2833 von Lecture Notes in Computer Science, Seite 555-569. Springer, (2003)A New Method for Solving Hard Satisfiability Problems., , und . AAAI, Seite 440-446. AAAI Press / The MIT Press, (1992)Some Pitfalls for Experimenters with Random SAT., und . Artif. Intell., 81 (1-2): 111-125 (1996)The resolution complexity of random graph k-colorability., , , und . Discret. Appl. Math., 153 (1-3): 25-47 (2005)