Splitting heuristics for disjunctive numerical constraints.

Thomas Douillard Christophe Jermann

Published in: SAC (2008)

Keyphrases

constraint satisfaction
heuristic methods
constraint solving
databases
learning algorithm
lower bound
relational databases
sensitivity analysis
search strategies
geometric constraints
constrained optimization
constraint networks