Back to Results
First PageMeta Content
Theoretical 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 the
Add to Reading List

Document Date: 2009-11-14 10:24:00

Open Document

File Size: 218,47 KB

Share Result on Facebook