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

Document Date: 2017-09-02 14:08:49


Open Document

File Size: 267,38 KB

Share Result on Facebook
UPDATE