Joseph E. Reeves

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Consequence Finding

Boolean Formula

Universally Quantified

Eliminating Redundant

Top Venues

J. Autom. Reason.

Publications

Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant
From Clauses to Klauses [inline-graphic not available: see fulltext]. CAV (1) (2024)
Joseph E. Reeves, Benjamin Kiesl-Reiter, Marijn J. H. Heule
Propositional Proof Skeletons. TACAS (1) (2023)
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant
Preprocessing of Propagation Redundant Clauses. J. Autom. Reason. 67 (3) (2023)
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant
Preprocessing of Propagation Redundant Clauses. IJCAR (2022)
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant
Moving Definition Variables in Quantified Boolean Formulas. TACAS (1) (2022)