A New Proof for a Result on the Inclusion Chromatic Index of Subcubic Graphs.

Lily Chen Yanyi Li

Published in: Axioms (2022)

Keyphrases

database
formal proof
image processing
graph theory
neural network
graph structure
case study
data structure
pattern recognition
bipartite graph
theorem prover
indexing method