A counterexample to a conjecture of grant.

Published in: Discret. Math. (1983)

Keyphrases

model checking
formal verification
databases
information retrieval
computer vision
high quality
computational complexity
relational databases
probability distribution
image data
computational intelligence
programming language