Exact Closest String as a Constraint Satisfaction Problem.
Tom KelseyLars KotthoffPublished in: ICCS (2011)
Keyphrases
- constraint satisfaction problems
- closest string
- constraint satisfaction
- np complete
- constraint programming
- search space
- constraint propagation
- arc consistency
- non binary
- practical solutions
- constraint solving
- np hard
- feasible solution
- forward checking
- partial constraint satisfaction
- tractable subclasses
- decomposition methods
- soft constraints
- approximation algorithms
- constraint networks
- temporal constraints
- reasoning problems
- randomized algorithm
- linear programming
- state space
- dynamic programming
- multi objective