Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Formal methods / Logic / Constraint programming / Electronic design automation / Satisfiability modulo theories / Formal verification / SMT / Automated reasoning / Satisfiability


SMT Workshop’07 5th International Workshop on Satisfiability Modulo Theories (Previously called PDPAR: Pragmatics of Decision Procedures in Automated Reasoning) Affiliated with CAV’07 Berlin, Germany, 1-2 July 2007
Add to Reading List

Document Date: 2007-05-29 03:47:08


Open Document

File Size: 41,03 KB

Share Result on Facebook
UPDATE