HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Hans Tompits

Publications
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 reasoning, automated theorem proving, blocked clauses, clause elimination, first-order logic, Preprocessing, SAT.

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