A Combinatorial Proof of Kneser's Conjecture.

Published in: Comb. (2004)

Keyphrases

language model
probabilistic model
computer vision
theorem proving
machine learning
mathematical proofs
information systems
multi agent
preprocessing
linear logic
proof planning