A short proof that χ can be bounded ε away from Δ+1 towards ω

Andrew D. King Bruce A. Reed

Published in: CoRR (2012)

Keyphrases

information systems
theorem prover
real time
artificial intelligence
database
data sets
neural network
data mining
information retrieval
social networks
three dimensional
data structure
information technology
relational databases
theorem proving
linear logic