A short proof for a generalization of Vizing's theorem.

Claude Berge Jean-Claude Fournier

Published in: J. Graph Theory (1991)

Keyphrases

interactive theorem proving
learning machines
mathematical proofs
database
social networks
e learning
support vector
evolutionary algorithm
steady state
theorem prover
theorem proving
efficient learning
linear logic
automated theorem proving