David G. Mitchell - Selected Publications, Etc.

Satisfiability and Constraint Satisfaction

Representation Languages for Declarative Problem Solving

Grounding

Systems, Applications, Software

Theses


Back to Dr. Mitchell's Home Page