String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report).
Lukás HolíkPetr JankuAnthony W. LinPhilipp RümmerTomás VojnarPublished in: CoRR (2020)
Keyphrases
- technical report
- regular expressions
- prune the search space
- finite automata
- integer program
- multiple constraints
- finite state automata
- constraint satisfaction
- global constraints
- pattern matching
- linear constraints
- highly efficient
- hamming distance
- constrained optimization
- database
- edit distance
- similarity measure
- computer vision
- genetic algorithm
- data mining
- neural network