Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Formal methods / Mathematical logic / Mathematics / Electronic design automation / NP-complete problems / Constraint programming / Boolean satisfiability problem / Satisfiability modulo theories / Horn clause / Satisfiability


CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007:
Add to Reading List

Document Date: 2007-07-09 05:14:16

Open Document

File Size: 1,09 MB

Share Result on Facebook