Sciweavers

Share
DATE
2009
IEEE
85views Hardware» more  DATE 2009»
10 years 6 months ago
Faster SAT solving with better CNF generation
Boolean satis´Čüability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encode...
Benjamin Chambers, Panagiotis Manolios, Daron Vroo...
books