Nachum Dershowitz Ziyad Hanna Alexander Nadel Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. 287-293 2007 conf/sat/2007 SAT http://dx.doi.org/10.1007/978-3-540-72788-0_27 db/conf/sat/sat2007.html#DershowitzHN07