Modeling Regular Replacement for String Constraint Solving.

Xiang Fu Chung-Chih Li

Published in: NASA Formal Methods (2010)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint solver
constraint satisfaction problems
pattern matching
constraint satisfaction
constraint programming
data structure
evolutionary algorithm
np hard