Short Proofs of the Kneser-Lovász Coloring Principle.

James Aisenberg Maria Luisa Bonet Sam Buss Adrian Craciun Gabriel Istrate

Published in: CoRR (2015)

Keyphrases

language model
probabilistic model
theorem proving
decision procedures
theorem prover
equational theories
formal proof
search algorithm
data sets
special case
information bottleneck
medical images
cooperative
three dimensional
decision trees
image processing
genetic algorithm
data mining
neural network
databases