A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint
Willem Jan van HoevePublished in: CoRR (2004)
Keyphrases
- arc consistency algorithm
- arc consistency
- hard constraints
- soft constraints
- constraint networks
- global constraints
- constraint satisfaction problems
- constraint satisfaction
- binary constraints
- constraint programming
- constraint propagation
- constraint solver
- space complexity
- constraint solving
- path consistency
- non binary
- forward checking
- multi criteria
- constraint logic programming
- heuristic search
- optimal solution
- search space
- computational intelligence
- linear constraints
- neural network
- search strategies