Joseph E. Reeves

According to our database, Joseph E. Reeves authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Preprocessing of Propagation Redundant Clauses.

Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant

J. Autom. Reason., September, 2023

Propositional Proof Skeletons.

Joseph E. Reeves, Benjamin Kiesl-Reiter, Marijn J. H. Heule

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Moving Definition Variables in Quantified Boolean Formulas.

Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022