Mitchell, David G.

5 publications

IJCAI 2009 Declarative Programming of Search Problems with Built-in Arithmetic Eugenia Ternovska, David G. Mitchell

AAAI 2005 A Framework for Representing and Solving NP Search Problems David G. Mitchell, Eugenia Ternovska

AAAI 1998 Hard Problems for CSP Algorithms David G. Mitchell

AAAI 1992 A New Method for Solving Hard Satisfiability Problems Bart Selman, Hector J. Levesque, David G. Mitchell

AAAI 1992 Hard and Easy Distributions of SAT Problems David G. Mitchell, Bart Selman, Hector J. Levesque