Incremental Compilation−to−SAT Procedures
Marco Benedetti and Sara Bernardini
Book Title
SAT 2004 − The Seventh International Conference on Theory and Applications of Satisfiability Testing‚ 10−13 May 2004‚ Vancouver‚ BC‚ Canada‚ Online Proceedings
Year
2004