HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Benjamin Kiesl

Publications
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
Blocked Clauses in First-Order Logic
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits and Armin Biere
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

automated reasoning2, automated theorem proving, blocked clauses, calculi, clause elimination, first-order logic2, Preprocessing, proofs, QBF, SAT, satisfiability.

Copyright © 2012-2025 easychair.org. All rights reserved.