Solver for Hierarchical CSP Containing Several Constraint Types and Multi-output Constraints.
Mouhssine BouzoubaaPublished in: ASIAN (1997)
Keyphrases
- constraint solving
- constraint solver
- constraint satisfaction problems
- constraint solvers
- constraint programming
- constraint networks
- constraint satisfaction
- constraint propagation
- linear constraints
- global constraints
- constraint graph
- hard constraints
- disjunctive temporal
- constraint problems
- soft constraints
- finite domain
- arc consistency algorithm
- arc consistency
- constraint language
- binary constraints
- constraint sets
- combinatorial problems
- constraint violations
- np hard
- inequality constraints
- hierarchical structure
- decomposition methods
- physical constraints
- disjunctive constraints
- constrained optimization
- constrained minimization
- resource constraints
- search space
- phase transition
- tree decomposition
- temporal constraints
- cardinality constraints
- non binary