![Theoretical computer science / Logic in computer science / Formal methods / Logic / Constraint programming / Electronic design automation / Satisfiability modulo theories / Formal verification / SMT / Automated reasoning / Satisfiability Theoretical computer science / Logic in computer science / Formal methods / Logic / Constraint programming / Electronic design automation / Satisfiability modulo theories / Formal verification / SMT / Automated reasoning / Satisfiability](https://www.pdfsearch.io/img/2c086175a973a02bf608e60f7f32c6c8.jpg) Date: 2007-05-29 03:47:08Theoretical 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 2007Add to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 41,03 KBShare Document on Facebook
|