A counterexample to the odd 2-factored snarks conjecture.

Domenico Labbate Marién Abreu E. Rizzi John Sheehan

Published in: Electron. Notes Discret. Math. (2013)

Keyphrases

model checking
formal verification
state space
learning environment
machine learning
information retrieval
artificial intelligence
social networks
high quality
reinforcement learning
high dimensional
artificial neural networks
multi class
dynamic bayesian networks
algebraic decision diagrams