David G. Mitchell - Selected Publication, Etc.

Satisfiability and Constraint Satisfaction

Representation Languages for Declarative Problem Solving

Grounding

Systems, Applications, Software

Other things

Theses


Back to Dr. Mitchell's Home Page