Login / Signup
A characterisation of some 2-connected graphs and a comment on an algorithmic proof of Brooks' theorem.
Victor Bryant
Published in:
Discret. Math. (1996)
Keyphrases
</>
interactive theorem proving
connected graphs
theorem proving
real time
case study
heavy traffic limit
databases
machine learning
information retrieval
database systems
bayesian networks
multiresolution
special case
probabilistic model
geometry theorem proving