Moving Definition Variables in Quantified Boolean Formulas. - Joseph E. Reeves; Marijn J. H. Heule; Randal E. Bryant (TACAS (1), 2022)

Propositional Proof Skeletons. - Joseph E. Reeves; Benjamin Kiesl-Reiter; Marijn J. H. Heule (TACAS (1), 2023)

Preprocessing of Propagation Redundant Clauses. - Joseph E. Reeves; Marijn J. H. Heule; Randal E. Bryant (J. Autom. Reason., 2023)

From Clauses to Klauses [inline-graphic not available: see fulltext]. - Joseph E. Reeves; Marijn J. H. Heule; Randal E. Bryant (CAV (1), 2024)

The Impact of Literal Sorting on Cardinality Constraint Encodings. - Joseph E. Reeves; João Filipe; Min-Chien Hsu; Ruben Martins; Marijn J. H. Heule (AAAI, 2025)

Problem Partitioning via Proof Prefixes. - Zachary Battleman; Joseph E. Reeves; Marijn J. H. Heule (SAT, 2025)

Reencoding Unique Literal Clauses. - Aeacus Sheng; Joseph E. Reeves; Marijn J. H. Heule (SAT, 2025)