DMCA

Incremental Compilation-to-SAT Procedures (2004)

by Marco Benedetti , Sara Bernardini
Venue:In: Seventh International Conference on Theory and Applications of Satisfiability Testing
Citations:9 - 3 self