First Page | Document Content | |
---|---|---|
Date: 2017-07-31 05:29:21Theoretical computer science Formal methods Mathematics Logic in computer science Mathematical logic Automated theorem proving School of Computer Science University of Manchester Automated reasoning Formal verification E theorem prover IP Satisfiability modulo theories | Testing a Saturation-Based Theorem Prover: Experiences and Challenges? Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3Add to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source WebsiteFile Size: 163,27 KBShare Document on Facebook |
Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA AbstractDocID: 1qH8X - View Document | |
Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff SutcliffeDocID: 1qjaE - View Document | |
The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de WaalDocID: 1pBlm - View Document | |
Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. PaulsonDocID: 1pyfq - View Document | |
Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012DocID: 1oNzB - View Document |