Login / Signup
Brooks' Vertex-Colouring Theorem in Linear Time.
Bradley Baetz
David R. Wood
Published in:
CoRR (2014)
Keyphrases
</>
minimum length
worst case
directed graph
von neumann
hamiltonian cycle
databases
real world
database systems
objective function
np complete
suffix array
minimum weight
interactive theorem proving