A counterexample to the Hirsch conjecture

Francisco Santos

Published in: CoRR (2010)

Keyphrases

model checking
formal verification
special case
cost function
small number
np complete
benchmark datasets
dynamical systems