Monotone Proofs of the Pigeon Hole Principle.

Albert Atserias Nicola Galesi Ricard Gavaldà

Published in: ICALP (2000)

Keyphrases

knowledge base
theorem prover
upper bound
neural network
image processing
multi objective
formal proof
formal proofs
equational theories