is a counterexample to a clique covering conjecture.

Andrew Vince Steve Wilson

Published in: J. Comb. Theory, Ser. B (1992)

Keyphrases

model checking
formal verification
decision trees
video sequences
independent set
real time
computer vision
image processing
digital libraries
preprocessing
minimum volume