Keyword:proofs

Publications
Certifying Incremental SAT Solving Katalin Fazekas, Florian Pollitt, Mathias Fleury and Armin Biere In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Finding Small Proofs for Description Logic Entailments: Theory and Practice Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Potential of Interference-Based Proof Systems Marijn Heule and Benjamin Kiesl In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements