Marco Benedetti, Sara Bernardini
Incremental Compilation-to-SAT Procedures
SAT, 2004.
@inproceedings{SAT-2004-BenedettiB,
author = "Marco Benedetti and Sara Bernardini",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/82.pdf",
pages = "205--213",
title = "{Incremental Compilation-to-SAT Procedures}",
year = 2004,
}