1 paper
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…