Solving First-Order Constraints in the Theory of the Evaluated Trees.
Thi-Bich-Hanh DaoKhalil DjelloulPublished in: ICLP (2006)
Keyphrases
- quantifier free
- quantifier elimination
- decision trees
- constrained problems
- linear programming problems
- combinatorial optimization
- constraint problems
- higher order
- theoretical framework
- tree structure
- integrity constraints
- integer program
- temporal logic
- distributed constraint optimization problems
- configuration problems
- constraint satisfaction
- linear programming
- search algorithm