Joseph E. Reeves
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | A General Approach for SMT Proof Skeletons. | Joseph E. Reeves, Haniel Barbosa, Andrew Reynolds, Marijn J. H. Heule |
| 2025 | AAAI | The Impact of Literal Sorting on Cardinality Constraint Encodings. | Joseph E. Reeves, Joo Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule |
| 2025 | FMCAD | Learning Short Clauses via Conditional Autarkies. | Amar Shah, Twain Byrnes, Joseph E. Reeves, Marijn J. H. Heule |
| 2025 | SAT | Problem Partitioning via Proof Prefixes. | Zachary Battleman, Joseph E. Reeves, Marijn J. H. Heule |
| 2025 | SAT | Reencoding Unique Literal Clauses. | Aeacus Sheng, Joseph E. Reeves, Marijn J. H. Heule |
| 2024 | CAV | From Clauses to Klauses. | Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant |
| 2023 | TACAS | Propositional Proof Skeletons. | Joseph E. Reeves, Benjamin Kiesl-Reiter, Marijn J. H. Heule |
| 2022 | CADE | Preprocessing of Propagation Redundant Clauses. | Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant |
| 2022 | TACAS | Moving Definition Variables in Quantified Boolean Formulas. | Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant |