Incremental compilation-to-SAT procedures. (2004)

by Marco Benedetti, Sara Bernardini
Venue:In Proceedings of SAT 2004 (Seventh International Conference on Theory and Applications of Satisfiability Testing,