Effective Auxiliary Variables via Structured Reencoding Andrew Haberlandt^*, Harrison Green^*, and Marijn Heule In 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) Awards: 2023 SAT Competition Main Track Overall Winner ^*Co-first author [PDF] [Code] [Slides]