An incremental algorithm for DLO quantifier elimination via constraint propagation.

Published in: Artif. Intell. (2004)

Keyphrases

quantifier elimination
constraint propagation
constraint satisfaction problems
constraint solving
constraint programming
constraint satisfaction
temporal constraints
linear programming
database
search space
databases
optimal solution
lower bound
special case
np complete
arc consistency