A short proof of Brooks' Theorem for vertex arboricity.

Published in: AKCE Int. J. Graphs Comb. (2020)

Keyphrases

interactive theorem proving
theorem prover
theorem proving
image segmentation
database
information retrieval
decision making
bayesian networks
relational databases
first order logic
directed graph
minimum weight