Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Logic programming / Resolution / Unification / Satisfiability modulo theories / Andrei Voronkov


Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ
Add to Reading List

Document Date: 2018-07-19 05:32:19

Open Document

File Size: 107,78 KB

Share Result on Facebook