Conjectures on the enumeration of tableaux of bounded height.

François Bergeron Luc Favreau Daniel Krob

Published in: Discret. Math. (1995)

Keyphrases

modal logic
search space
decision procedures
dynamic programming
inductive inference
functional dependencies
data sets
databases
real world
data mining
artificial intelligence
three dimensional
theorem prover
asymptotically optimal