A short proof for Chen's Alternative Kneser Coloring Lemma.

Gerard Jennhwa Chang Daphne Der-Fen Liu Xuding Zhu

Published in: J. Comb. Theory, Ser. A (2013)

Keyphrases

language model
real world
objective function
artificial intelligence
theorem proving
real time
data mining
computer vision
web services
case study
information technology
relational databases
probabilistic model
theorem prover
natural deduction
johnson lindenstrauss