Does Advice Help to Prove Propositional Tautologies?

Olaf Beyersdorff, Sebastian Mller

Browse the full SAT paper archive.