Zchaff2004: An efficient sat solver (2004)

by Y S Mahajan, Z Fu, S Malik
Venue:In SAT (Selected Papers