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

Kazuo Iwama Shuichi Miyazaki

Published in: ISAAC (1999)

Keyphrases

high resolution
artificial intelligence
database
special case
low resolution
consequence finding
databases
neural network
machine learning
suffix tree
sampling rate