2 search results - page 1 / 1 » SATzilla: Portfolio-based Algorithm Selection for SAT |
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...
AAAI
2010
13 years 6 months ago
2010
The AI community has achieved great success in designing high-performance algorithms for hard combinatorial problems, given both considerable domain knowledge and considerable eff...