CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking (2004)

Cached

Download Links

by Hoonsang Jin , Mohammad Awedh , Fabio Somenzi
Venue:Sixteenth Conference on Computer Aided Verification (CAV’04
Citations:12 - 5 self