Problem Solving by Searching for Models with a Theorem Prover.

Shie-Jue Lee David A. Plaisted Problem Solving by Searching for Models with a Theorem Prover. 205-233 1994 69 Artif. Intell. 1-2 db/journals/ai/ai69.html#LeeP94