<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-07-19 05:32:19Theoretical computer science Logic in computer science Automated theorem proving Formal methods Constraint programming Logic programming Resolution Unification Satisfiability modulo theories Andrei Voronkov |
Add to Reading List |
Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ