Joseph E. Reeves

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

Collaborative distances:

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

2025

Reencoding Unique Literal Clauses.

Aeacus Sheng, Joseph E. Reeves, Marijn J. H. Heule

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Problem Partitioning via Proof Prefixes.

Zachary Battleman, Joseph E. Reeves, Marijn J. H. Heule

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

The Impact of Literal Sorting on Cardinality Constraint Encodings.

Joseph E. Reeves, João Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

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