A unified proof of Brooks' theorem and Catlin's theorem.

Vaidy Sivaraman

Published in: Discret. Math. (2015)

Keyphrases

interactive theorem proving
von neumann
databases
feature selection
multiscale
search algorithm
multiresolution
digital topology