Compiling Problem Specifications into SAT.

Marco Cadoli, Andrea Schaerf

Browse the full ESOP paper archive.