Tree Resolution Proofs of the Weak Pigeon-Hole Principle.

Stefan S. Dantchev Søren Riis

Published in: Computational Complexity Conference (2001)

Keyphrases

tree structure
binary tree
high resolution
tree construction
r tree
theorem prover
theorem proving
equational theories
database
consequence finding
tree models
decision procedures
tree structures
hierarchical structure
data structure
high quality
similarity measure
information systems
social networks
neural network