Compiling problem specifications into SAT

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

Add the full text or supplementary notes for the publication here using Markdown formatting.

Expressivity Np-Spec