Sweep-Based Propagation for String Constraint Solving.
Roberto AmadiniGraeme GangePeter J. StuckeyPublished in: AAAI (2018)
Keyphrases
- constraint solving
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- constraint programming
- pattern matching
- string matching
- edit distance
- regular expressions
- search algorithm
- orders of magnitude
- suffix tree
- context free grammars
- alphabet size