DMCA

Tree-Like Resolution Is Superpolynomially Slower Than DAG-Like Resolution for the Pigeonhole Principle (1999)

Cached

Download Links

by Kazuo Iwama , Shuichi Miyazaki
Venue:In Proceedings of the 10th International Symposium on Algorithms and Computation (ISAAC
Citations:7 - 0 self