481 search results - page 97 / 97 » Anytime Local Search for Distributed Constraint Optimization |
JAIR
2008
14 years 10 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...