Benjamin Kiesl

23 papers A* 3A 7B 2Journal 5Unranked 5

Year	Rank	Type	Title / 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