A proof of a conjecture on multiset coloring the powers of cycles.

Yun Feng Wensong Lin

Published in: Inf. Process. Lett. (2012)

Keyphrases

data sets
theorem proving
data mining
theorem prover
linear logic
database
machine learning
information systems
decision making
multimedia
decision trees
data structure
proof search
mathematical proofs