The Automated Solution of Logic Puzzles.

Mark Valentine Robert H. Davis

Published in: Inf. Process. Lett. (1987)

Keyphrases

constraint satisfaction
modal logic
closed form
automated reasoning
linear equations
database
search engine
lower bound
expert systems
linear programming
semi automatic
optimization method
exact solution
multi valued