Benjamin Kiesl-Reiter

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 4

Top Topics

Propositional Satisfiability

Top Venues

Publications

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
Solving String Constraints Using SAT. CAV (2) (2023)
Joseph E. Reeves, Benjamin Kiesl-Reiter, Marijn J. H. Heule
Propositional Proof Skeletons. TACAS (1) (2023)
Dawn Michaelson, Dominik Schreiber, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen
Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers. TACAS (1) (2023)
Benjamin Kiesl-Reiter, Michael W. Whalen
Proofs for Incremental SAT with Inprocessing. FMCAD (2023)