9.4k citations · 16.5k across the 107 of their papers we have counts for
1 paper · 1 filter
Lin Xu, Frank Hutter, Holger H. Hoos +1
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 traditional app…