Boosting SAT Solver Performance via a New Hybrid Approach1
Fang, Lei, Hsiao, Michael S., Velev, Miroslav N.Volume:
5
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190058
Date:
June, 2008
File:
PDF, 672 KB
2008