A Constructive Proof of Vizing's Theorem.

Jayadev Misra David Gries

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

Keyphrases

special case
interactive theorem proving
computational complexity
automated theorem proving
theorem proving
theorem prover
von neumann
reinforcement learning
optimal solution
database
preprocessing
image processing
e learning
genetic algorithm
neural network
digital topology
databases