On a Counterexample to a Conjecture of Mirzaian.

Masatsugu Urabe Mamoru Watanabe

Published in: Comput. Geom. (1992)

Keyphrases

model checking
formal verification
high dimensional
machine learning
small number