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 | Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φAdd to Reading ListSource URL: www.logic.atDownload Document from Source WebsiteFile Size: 107,78 KBShare Document on Facebook |