CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.

HoonSang Jin, Mohammad Awedh, Fabio Somenzi

Browse the full CAV paper archive.