First Page | Document Content | |
---|---|---|
Date: 2009-11-14 10:24:00Theoretical computer science Mathematical logic Logic Logic in computer science Formal methods Automated theorem proving Model theory NP-complete problems Satisfiability modulo theories Proof assistant First-order logic Solver | Introduction Translation Caveats Conclusions SMT Solvers: New Oracles for theAdd to Reading ListSource URL: user.it.uu.seDownload Document from Source WebsiteFile Size: 218,47 KBShare Document on Facebook |