CirCUs: A hybrid satisfiability solver (2004)

by H Jin, F Somenzi
Venue:In International Conference on Theory and Applications of Satisfiability Testing (SAT 2004