Sciweavers

56
Voted
SAT
2004
Springer
97views Hardware» more  SAT 2004»
15 years 2 months ago
Incremental Compilation-to-SAT Procedures
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
Marco Benedetti, Sara Bernardini