An explicit counterexample to the Lagarias-Wang finiteness conjecture.

Kevin G. Hare Ian D. Morris Nikita Sidorov Jacques Theys

Published in: CoRR (2010)

Keyphrases

model checking
neural network
information retrieval
formal verification
database
real time
search algorithm
preprocessing
feature space
information technology
special case