A counterexample to a conjecture of abbott.

Published in: J. Comb. Theory, Ser. A (1989)

Keyphrases

model checking
formal verification
machine learning
learning algorithm
fuzzy sets
theoretical analysis
error rate