A concise proof for total coloring subcubic graphs.

Yun Feng Wensong Lin

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

Keyphrases

graph theoretic
graph matching
graph mining
graph databases
graph theory
theorem prover
directed graph
graph structure
linear logic
database
series parallel
adjacency matrix
graph structures
graph construction
graph model
pattern mining
itemsets
neural network