View-obstruction: a shorter proof for 6 lonely runners.

Jérôme Renault

Published in: Discret. Math. (2004)

Keyphrases

wide range
multiple views
theorem prover
neural network
real world
machine learning
genetic algorithm
decision trees
three dimensional
evolutionary algorithm
input image