Zchaff 2004: an efficient SAT solver (2005)

by Y S Mahajan, Z Fu, S Malik
Venue:in Proc. 8th International Conf. Theory Application Satisfiability Testing