Compiling program specifications into SAT

Marco Cadoli, Andrea Schaerf
January 2001
Cite
Type
Conference paper
Publication
Proceedings of 10th European Symposium on Programming (ESOP 2001)

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

Conf-Paper Expressivity Indexed Np-Spec