Benjamin Kiesl

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