Proof of a Chromatic Polynomial Conjecture.

Published in: J. Comb. Theory, Ser. B (2000)

Keyphrases

low degree
color images
theorem proving
color information
human perception
linear logic
databases
information systems
lower bound