Marco Benedetti, Sara Bernardini. Incremental Compilation-to-SAT Procedures. In Holger H. Hoos, David G. Mitchell, editors, Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers. Volume 3542 of Lecture Notes in Computer Science, pages 46-58, Springer, 2004. [doi]
@inproceedings{BenedettiB04a, title = {Incremental Compilation-to-SAT Procedures}, author = {Marco Benedetti and Sara Bernardini}, year = {2004}, doi = {10.1007/11527695_4}, url = {http://dx.doi.org/10.1007/11527695_4}, tags = {incremental}, researchr = {https://researchr.org/publication/BenedettiB04a}, cites = {0}, citedby = {0}, pages = {46-58}, booktitle = {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}, volume = {3542}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-27829-X}, }