11 search results - page 3 / 3 » Disco - Novo - GoGo: Integrating Local Search and Complete S... |
JAIR
2008
13 years 4 months ago
2008
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the trad...