CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. - Jin, HoonSang; Awedh, Mohammad; Somenzi, Fabio (2004)