Solving First-Order Constraints in the Theory of the Evaluated Trees.
Thi-Bich-Hanh DaoKhalil DjelloulPublished in: CSCLP (2006)
Keyphrases
- quantifier free
- linear programming problems
- decision trees
- higher order
- constraint satisfaction
- quantifier elimination
- first order logic
- constraint problems
- classical first order logic
- constrained problems
- integer program
- tree structures
- resource constraints
- constrained optimization
- theoretical framework
- linear constraints
- geometric constraints
- reducing the search space
- constraint programming
- rewrite systems
- tree structure