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

James Aisenberg Maria Luisa Bonet Sam Buss Adrian Craciun Gabriel Istrate

Published in: ICALP (2) (2015)

Keyphrases

language model
formal proofs
information retrieval
probabilistic model
machine learning
genetic algorithm
multiscale
bayesian networks
preprocessing
computer science
cooperative
multi agent
real time
image sequences
e learning
search engine
real world
neural network