Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.
Laurent GranvilliersFrédéric BenhamouPublished in: ACM Trans. Math. Softw. (2006)
Keyphrases
- constraint satisfaction
- russian doll search
- constraint solving
- heuristic search
- constrained problems
- objective function
- randomly generated
- learning algorithm
- backtracking algorithms
- constraint optimization
- optimal solution
- path consistency
- search space
- computational complexity
- dynamic programming
- cost function
- evolutionary algorithm
- benchmark problems
- space complexity
- neural network
- simulated annealing
- special case
- constraint relaxation