Login / Signup
Monotone Proofs of the Pigeon Hole Principle
Albert Atserias
Nicola Galesi
Ricard Gavaldà
Published in:
Electron. Colloquium Comput. Complex. (2000)
Keyphrases
</>
data sets
theorem prover
theorem proving
databases
artificial intelligence
information systems
upper bound
equational theories
clustering algorithm
decision trees
case study
database systems
multi agent
boolean functions
formal proofs