Proof of Melnikov-Vizing conjecture for multigraphs with maximum degree at most 3.

Artem V. Pyatkin

Published in: Discret. Math. (1998)

Keyphrases

communication networks
low degree
neural network
real world
machine learning
decision making
bayesian networks
mobile robot
theorem prover
theorem proving
maximum number
natural deduction
mathematical proofs