Back to Results
First PageMeta Content
Theoretical computer science / Automated theorem proving / Mathematics / Mathematical logic / Formal methods / Logic in computer science / Resolution / Logic programming / Clause / Vampire / Boolean satisfiability problem / CARINE


Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo
Add to Reading List

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


Open Document

File Size: 203,89 KB

Share Result on Facebook
UPDATE