Approximate Quantified Constraint Solving by Cylindrical Box Decomposition.
Stefan RatschanPublished in: Reliab. Comput. (2002)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint solver
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- decomposition method
- efficient computation
- decomposition algorithm
- evolutionary algorithm
- database applications
- arc consistency
- panoramic images