HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:blocked clauses

Publications
Towards a Semantics of Unsatisfiability Proofs with Inprocessing
Tobias Philipp and Adrián Rebola-Pardo
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
Copyright © 2012-2025 easychair.org. All rights reserved.