Canonical Finite Diagrams and Quantifier Elimination.

Tapani Hyttinen

Published in: Math. Log. Q. (2002)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
constraint databases
first order logic
cardinality constraints
finite number
artificial intelligence
search space
constraint satisfaction
query optimization