Back to Search
Start Over
Faster SAT solving with better CNF generation.
- Source :
- Proceedings of the Conference: Design, Automation & Test in Europe; 4/20/2009, p1590-1595, 6p
- Publication Year :
- 2009
Details
- Language :
- English
- Database :
- Complementary Index
- Journal :
- Proceedings of the Conference: Design, Automation & Test in Europe
- Publication Type :
- Conference
- Accession number :
- 101096174