Concise proofs for adjacent vertex-distinguishing total colorings.

Jonathan Hulgan

Published in: Discret. Math. (2009)

Keyphrases

theorem proving
real time
directed graph
theorem prover
data sets
neural network
edge weights
graph coloring
formal proof
mathematical proofs