Back to Results
First PageMeta Content
Formal methods / Theoretical computer science / Complexity classes / Automated theorem proving / Vampire / NP / IP / Mathematics / Constraint programming / Proof compression


Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based
Add to Reading List

Document Date: 2016-07-20 13:24:09


Open Document

File Size: 140,17 KB

Share Result on Facebook