Compiling problem specifications into SAT

Marco Cadoli, Andrea Schaerf
January 2005
PDF Cite DOI
Type
Journal article
Publication
Artificial Intelligence
expressivity np-spec