Determinant formulas relating to tableaux of bounded height.

Published in: Adv. Appl. Math. (2010)

Keyphrases

machine learning
modal logic
artificial intelligence
decision procedures
data sets
genetic algorithm
database systems
real time
databases
decision trees
case study
functional dependencies
predicate calculus
proof procedure