Constraint Solving on Bounded String Variables.
Joseph D. ScottPierre FlenerJustin PearsonPublished in: CPAIOR (2015)
Keyphrases
- constraint solving
- finite domain
- constraint propagation
- constraint logic programming
- constraint satisfaction
- constraint satisfaction problems
- constraint solver
- constraint programming
- variable selection
- data structure
- constraint solvers
- constraint problems
- pattern matching
- np complete
- soft constraints
- temporal constraints
- regular expressions