CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

HoonSang Jin, Mohammad Awedh, Fabio Somenzi. CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 519-522, Springer, 2004. [doi]

This author has not been identified. Look up 'HoonSang Jin' in GoogleThis author has not been identified. Look up 'Mohammad Awedh' in GoogleThis author has not been identified. Look up 'Fabio Somenzi' in Google

runs on WebDSL