Benjamin Kiesl

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 21

Top Topics

Formal Analysis

Propositional Logic

Davis Putnam Logemann Loveland

Top Venues

Publications

Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen
Migrating Solver State. SAT (2022)
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule, Armin Biere
Simulating Strong Practical Proof Systems with Extended Resolution. J. Autom. Reason. 64 (7) (2020)
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
Strong Extension-Free Proof Systems. J. Autom. Reason. 64 (3) (2020)
Cas Cremers, Benjamin Kiesl, Niklas Medinger
A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters. USENIX Security Symposium (2020)
Cas Cremers, Jaiden Fairoze, Benjamin Kiesl, Aurora Naska
Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice. CCS (2020)
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
Encoding Redundancy for Satisfaction-Driven Clause Learning. TACAS (1) (2019)
Benjamin Kiesl, Marijn J. H. Heule, Armin Biere
Truth Assignments as Conditional Autarkies. ATVA (2019)
Benjamin Kiesl, Martina Seidl
QRAT Polynomially Simulates ∀ \text -Exp+Res. SAT (2019)
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
Clausal Proofs of Mutilated Chessboards. NFM (2019)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Local Redundancy in SAT: Generalizations of Blocked Clauses. Log. Methods Comput. Sci. 14 (4) (2018)
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule
Extended Resolution Simulates DRAT. IJCAR (2018)
Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl
A Little Blocked Literal Goes a Long Way. SAT (2017)
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
Short Proofs Without New Variables. CADE (2017)
Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere
PRuning Through Satisfaction. Haifa Verification Conference (2017)
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
Blocked Clauses in First-Order Logic. LPAR (2017)
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
Blocked Clauses in First-Order Logic. CoRR (2017)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? IJCAI (2017)
Marijn Heule, Benjamin Kiesl
The Potential of Interference-Based Proof Systems. ARCADE@CADE (2017)
Benjamin Kiesl, Martin Suda
A Unifying Principle for Clause Elimination in First-Order Logic. CADE (2017)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Local Redundancy in SAT: Generalizations of Blocked Clauses. CoRR (2017)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Super-Blocked Clauses. IJCAR (2016)
Benjamin Kiesl, Peter Schüller, Hans Tompits
On Structural Analysis of Non-Ground Answer-Set Programs. ICLP (Technical Communications) (2015)