A counterexample to the bold conjecture.

Published in: J. Graph Theory (1997)

Keyphrases

model checking
formal verification
event related
upper bound
computer vision
high quality
active learning
special case
signal processing