-Heap Wythoff's conjectures.

Published in: Discret. Math. (2005)

Keyphrases

data structure
theorem prover
suffix tree
database
data sets
machine learning
bayesian networks
reinforcement learning
lower bound
pairwise
query processing
pattern matching