## David Mitchell - Some Current Research Interests

My research primarily is about aspects of the following general
scheme for representing and solving problems: Axiomatize the
properties of (solutions to) the problem in some logic, such
that models of the axioms amount to solutions of the problem,
and use a model-finder for the logic in question to obtain solutions.
Back to Dr. Mitchell's Home Page