Lei Fang Michael S. Hsiao A new hybrid solution to boost SAT solver performance. 1307-1313 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266652 db/conf/date/date2007.html#FangH07