Short proofs of the Kneser-Lovász coloring principle.

James Aisenberg Maria Luisa Bonet Sam Buss Adrian Craciun Gabriel Istrate

Published in: Inf. Comput. (2018)

Keyphrases

language model
probabilistic model
theorem prover
information retrieval
theorem proving
formal proofs
database
machine learning
decision trees
bayesian networks
search algorithm
formal proof