Effective Auxiliary Variables via Structured Reencoding.

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

Browse the full SAT paper archive.