Benjamin Kiesl-Reiter

Cited by

	All	Since 2020
Citations	561	469
h-index	12	11
i10-index	16	15

140

105

20172018201920202021202220232024202511 24 57 41 88 87 126 116 10

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
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Adrián Rebola-PardoPostdoctoral University Assistant, TU Wien and JKU LinzVerified email at tuwien.ac.at
Matti JärvisaloProfessor of Computer Science, University of HelsinkiVerified email at helsinki.fi
Niklas MedingerCISPAVerified email at cispa.de
Bruno DutertreAmazon Web ServicesVerified email at amazon.com
Jaiden FairozeUC BerkeleyVerified email at berkeley.edu
Aurora NaskaCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Dominik P. SchreiberKarlsruhe Institute of TechnologyVerified email at kit.edu
Soonho KongAmazon Web ServicesVerified email at amazon.com
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Dirk NowotkaProfessor für Informatik, Christian-Albrechts-Universität zu KielVerified email at zs.uni-kiel.de
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	63	2021
Short proofs without new variables MJH Heule, B Kiesl, A Biere Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017	55	2017
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	54	2020
Strong extension-free proof systems MJH Heule, B Kiesl, A Biere Journal of Automated Reasoning 64 (3), 533-554, 2020	51	2020
Extended resolution simulates DRAT B Kiesl, A Rebola-Pardo, MJH Heule International Joint Conference on Automated Reasoning, 516-531, 2018	48	2018
PRuning through satisfaction MJH Heule, B Kiesl, M Seidl, A Biere Haifa Verification Conference, 179-194, 2017	47	2017
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	33	2020
Encoding redundancy for satisfaction-driven clause learning MJH Heule, B Kiesl, A Biere International Conference on Tools and Algorithms for the Construction and …, 2019	31	2019
Super-blocked clauses B Kiesl, M Seidl, H Tompits, A Biere International Joint Conference on Automated Reasoning, 45-61, 2016	30	2016
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	12	2019
Truth assignments as conditional autarkies B Kiesl, MJH Heule, A Biere Automated Technology for Verification and Analysis: 17th International …, 2019	12	2019
Local redundancy in SAT: generalizations of blocked clauses B Kiesl, M Seidl, H Tompits, A Biere Logical Methods in Computer Science 14, 2018	12	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	9	2023
QRAT polynomially simulates For-All-Exp-Res B Kiesl, M Seidl Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019	9*	2019
The Potential of Interference-Based Proof Systems. M Heule, B Kiesl ARCADE@ CADE, 51-54, 2017	8	2017
Proofs for Incremental SAT with Inprocessing. B Kiesl-Reiter, MW Whalen FMCAD, 132-140, 2023	5	2023

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