Tree-Like Resolution Is Superpolynomially Slower Than DAG-Like Resolution for the Pigeonhole Principle.

Kazuo Iwama, Shuichi Miyazaki

Browse the full ISAAC paper archive.