Arc-Consistency Checking with Bilevel Constraints: An Optimization.
Aline DeruyverYann HodéPublished in: GbRPR (2009)
Keyphrases
- consistency checking
- stochastic search
- query answering
- path consistency
- temporal reasoning
- optimization problems
- constrained optimization
- temporal constraints
- mathematical program
- global consistency
- linear programming
- convex programming
- spatial information
- arc consistency
- nonlinear programming
- data warehouse
- upper bound
- search space
- bilevel programming
- case study