Compiling problem specifications into SAT

Publication
Artificial Intelligence

Related