( en | de | ru )

 

Disambiguierung von "Mitchell, David G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Grounding Formulas with Complex Terms.

, , , und . Canadian AI, Volume 6657 von Lecture Notes in Computer Science, Seite 13-25. Springer, (2011)

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

Margaret 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)Grounding Formulas with Complex Terms., , , und . Canadian AI, Volume 6657 von Lecture Notes in Computer Science, Seite 13-25. Springer, (2011)Declarative Programming of Search Problems with Built-in Arithmetic., und . IJCAI, Seite 942-947. (2009)Constructing Camin-Sokal Phylogenies Via Answer Set Programming., , , , , und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 452-466. Springer, (2006)On the Complexity of Model Expansion., , , und . LPAR (Yogyakarta), Volume 6397 von Lecture Notes in Computer Science, Seite 447-458. Springer, (2010)Minimum Witnesses for Unsatisfiable 2CNFs., und . SAT, Volume 4121 von Lecture Notes in Computer Science, Seite 42-47. Springer, (2006)2-Way vs. d-Way Branching for CSP., und . CP, Volume 3709 von Lecture Notes in Computer Science, Seite 343-357. Springer, (2005)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)