A counterexample to Thiagarajan's conjecture.

Jérémie Chalopin Victor Chepoi

Published in: CoRR (2016)

Keyphrases

model checking
formal verification
decision trees
state space
small number
positive and negative
machine learning
search space
np hard
data points
simulated annealing
np complete
cellular automata
genetic algorithm ga