Solving Constraints over the Reals - A Multi-Solver Approach.
Philippe MartiMichel RueherPublished in: ICTAI (1994)
Keyphrases
- constraint solving
- constraint solvers
- constraint programming
- constrained problems
- constraint solver
- constraint problems
- constrained optimization
- linear programming problems
- integer program
- reducing the search space
- jigsaw puzzle
- solving problems
- hard constraints
- constraint databases
- finite domain
- geometric constraints
- constraint propagation
- neural network
- sat encodings
- constraint satisfaction problems
- mixed integer program
- co occurrence
- resource constraints
- global constraints
- expressive power