Effective Auxiliary Variables via Structured Reencoding. - Andrew Haberlandt; Harrison Green; Marijn J. H. Heule (SAT, 2023)