Zchaff2004: An efficient SAT solver (2004)

by Yogesh S Mahajan, Zhaohui Fu, Sharad Malik
Venue:In Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, LNCS 3542