Resolution Proofs of Generalized Pigeonhole Principles.

Samuel R. Buss György Turán

Published in: Theor. Comput. Sci. (1988)

Keyphrases

high resolution
computer vision
theorem prover
theorem proving
artificial intelligence
search algorithm
low resolution
real world
data mining
high quality
multiresolution
building blocks
theoretical framework
formal proofs