CirCUs: A Hybrid Satisfiability Solver (2004)

by HoonSang Jin, Fabio Somenzi
Venue:In this issue