Benjamin Kiesl-Reiter

Cited by

	All	Since 2019
Citations	527	492
h-index	12	11
i10-index	16	16

140

105

2017201820192020202120222023202411 24 57 41 88 87 126 92

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyVerified email at kr.tuwien.ac.at
Cas CremersCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Niklas MedingerCISPAVerified email at cispa.de
Jaiden FairozeUC BerkeleyVerified email at berkeley.edu
Aurora NaskaCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Bruno DutertreAmazon Web ServicesVerified email at amazon.com
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Soonho KongAmazon Web ServicesVerified email at amazon.com
Dirk NowotkaProfessor für Informatik, Christian-Albrechts-Universität zu KielVerified email at zs.uni-kiel.de
Dominik P. SchreiberKarlsruhe Institute of TechnologyVerified email at kit.edu
Md Solimul ChowdhuryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Joseph ReevesCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Peter SchüllerSelf-EmployedVerified email at peterschueller.com

Benjamin Kiesl-Reiter

Other namesBenjamin Kiesl

Amazon Web Services

Verified email at amazon.de - Homepage

Automated Reasoning Satisfiability Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Preprocessing in SAT Solving A Biere, M Järvisalo, B Kiesl Handbook of Satisfiability, 391-435, 2021	58	2021
Short proofs without new variables MJH Heule, B Kiesl, A Biere Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017	54	2017
Strong extension-free proof systems MJH Heule, B Kiesl, A Biere Journal of Automated Reasoning 64 (3), 533-554, 2020	50	2020
A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters C Cremers, B Kiesl, N Medinger 29th USENIX Security Symposium (USENIX Security 20), 1-17, 2020	48	2020
Extended resolution simulates DRAT B Kiesl, A Rebola-Pardo, MJH Heule International Joint Conference on Automated Reasoning, 516-531, 2018	46	2018
PRuning through satisfaction MJH Heule, B Kiesl, M Seidl, A Biere Haifa Verification Conference, 179-194, 2017	46	2017
Encoding redundancy for satisfaction-driven clause learning MJH Heule, B Kiesl, A Biere International Conference on Tools and Algorithms for the Construction and …, 2019	30	2019
Super-blocked clauses B Kiesl, M Seidl, H Tompits, A Biere International Joint Conference on Automated Reasoning, 45-61, 2016	29	2016
Clone detection in secure messaging: improving post-compromise security in practice C Cremers, J Fairoze, B Kiesl, A Naska Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020	27	2020
Blocked clauses in first-order logic B Kiesl, M Suda, M Seidl, H Tompits, A Biere arXiv preprint arXiv:1702.00847, 2017	19	2017
A little blocked literal goes a long way B Kiesl, MJH Heule, M Seidl International Conference on Theory and Applications of Satisfiability …, 2017	15	2017
A unifying principle for clause elimination in first-order logic B Kiesl, M Suda Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017	15	2017
Clausal proofs of mutilated chessboards MJH Heule, B Kiesl, A Biere NASA Formal Methods Symposium, 204-210, 2019	11	2019
Truth assignments as conditional autarkies B Kiesl, MJH Heule, A Biere Automated Technology for Verification and Analysis: 17th International …, 2019	11	2019
Local redundancy in SAT: generalizations of blocked clauses B Kiesl, M Seidl, H Tompits, A Biere Logical Methods in Computer Science 14, 2018	11	2018
Simulating strong practical proof systems with extended resolution B Kiesl, A Rebola-Pardo, MJH Heule, A Biere Journal of Automated Reasoning 64 (7), 1247-1267, 2020	10	2020
Unsatisfiability proofs for distributed clause-sharing SAT solvers D Michaelson, D Schreiber, MJH Heule, B Kiesl-Reiter, MW Whalen International Conference on Tools and Algorithms for the Construction and …, 2023	8	2023
QRAT polynomially simulates For-All-Exp-Res B Kiesl, M Seidl Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019	8*	2019
The Potential of Interference-Based Proof Systems. M Heule, B Kiesl ARCADE@ CADE, 51-54, 2017	8	2017
Migrating solver state A Biere, MS Chowdhury, MJ Heule, B Kiesl Leibniz international proceedings in informatics 236, 2022	5	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors