( en | de | ru )

 

Disambiguation of "Mitchell, David G."

Author of the publication

copydeleteadd this publication to your clipboard
Enfragmo: A System for Modelling and Solving Search Problems with Logic.

, , , , and . LPAR, volume 7180 of Lecture Notes in Computer Science, page 15-22. Springer, (2012)

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.

David G Wigg

David G Long

Daniell Mitchell

Gail Mitchell

Brian Mitchell

 

Other publications of authors with the same name

Problem Solving with the Enfragmo System., , and . Theory Pract. Log. Program., (2013)New Encoding for Translating Pseudo-Boolean Constraints into SAT., , and . SARA, AAAI, (2013)Faster Phylogenetic Inference with MXG., , and . LPAR, volume 4790 of Lecture Notes in Computer Science, page 423-437. Springer, (2007)Expressive power and abstraction in Essence., and . Constraints An Int. J., 13 (3): 343-384 (2008)Minimum 2CNF Resolution Refutations in Polynomial Time., and . SAT, volume 4501 of Lecture Notes in Computer Science, page 300-313. Springer, (2007)Hard Problems for CSP Algorithms.. AAAI/IAAI, page 398-405. AAAI Press / The MIT Press, (1998)The resolution complexity of constraint satisfaction.. University of Toronto, Canada, (2002)Hard and Easy Distributions of SAT Problems., , and . AAAI, page 459-465. AAAI Press / The MIT Press, (1992)Some Pitfalls for Experimenters with Random SAT., and . Artif. Intell., 81 (1-2): 111-125 (1996)The resolution complexity of random graph k-colorability., , , and . Discret. Appl. Math., 153 (1-3): 25-47 (2005)