First Page | Document Content | |
---|---|---|
Date: 2017-09-02 14:08:49Theoretical computer science Mathematical logic Logic Automated theorem proving Logic in computer science Formal methods Logic programming Predicate logic Satisfiability modulo theories Unification Solver Resolution | Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduDownload Document from Source WebsiteFile Size: 267,38 KBShare Document on Facebook |