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
|