Effective Auxiliary Variables via Structured Reencoding

Andrew Haberlandt, Harrison Green, Marijn J. H. Heule

Extended resolution shows that auxiliary variables are very powerful in theory. However, attempts to exploit this potential in practice have had limited success. One reasonably eff…