Joseph E. Reeves

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

Collaborative distances:

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

2024

From Clauses to Klauses [inline-graphic not available: see fulltext].

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

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

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