Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems.
Rafael M. GascaCarmelo Del ValleVictor CejudoIrene BarbaPublished in: CAEPIA (2005)
Keyphrases
- computational efficiency
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- constraint programming
- computationally efficient
- combinatorial problems
- np complete
- non binary
- efficient computation
- constraint solving
- arc consistency
- np hard
- solution quality
- constraint optimization
- search space
- decomposition methods
- computational complexity
- constraint networks
- computational problems
- product configuration
- optimal solution
- finite domain
- forward checking
- temporal reasoning
- solving constraint satisfaction problems
- disjunctive constraints
- finding optimal solutions
- pseudo boolean optimization