Nachum Dershowitz Ziyad Hanna Alexander Nadel A Clause-Based Heuristic for SAT Solvers. 46-60 2005 conf/sat/2005 SAT http://dx.doi.org/10.1007/11499107_4 db/conf/sat/sat2005.html#DershowitzHN05