Tree-depth, quantifier elimination, and quantifier rank.

Yijia Chen Jörg Flum

Published in: LICS (2018)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
cardinality constraints
constraint databases
first order logic
tree structure
databases
machine learning
query language
b tree