Joseph E. Reeves

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

Collaborative distances:

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

2025

jreeves3/ulc-cadical.

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

Dataset, August, 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

Learning Short Clauses via Conditional Autarkies.

Amar Shah, Twain Byrnes, Joseph E. Reeves, Marijn J. H. Heule

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 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 Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

From Clauses to Klauses.

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

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

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

Preprocessing of Propagation Redundant Clauses.

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

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022