Incremental Compilation−to−SAT Procedures
Marco Benedetti and Sara Bernardini
Book Title
Theory and Applications of Satisfiability Testing‚ 7th International Conference‚ SAT 2004‚ Vancouver‚ BC‚ Canada‚ May 10−13‚ 2004‚ Revised Selected Papers
Editor
Holger H. Hoos and David G. Mitchell
Pages
46–58
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3542
Year
2004