Keyword:proof search

Publications
A Multithreaded Vampire with Shared Persistent Grounding Michael Rawson and Giles Reger EasyChair Preprint 5855
Making Theory Reasoning Simpler Giles Reger, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 5000
Automated Theorem Proving, Fast and Slow Michael Rawson and Giles Reger EasyChair Preprint 4433
Deep Inference in Proof Search: The Need for Shallow Inference Ozan Kahramanogullari In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Deep Proof Search in MELL Ozan Kahramanogullari In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Functional Pearl: the Proof Search Monad Jonathan Protzenko In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Dialogues for proof search Jesse Alama In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics