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)
np-spec expressivity