Z3-Noodler: An Automata-based String Solver (Technical Report).
Yu-Fang ChenDavid ChocholatýVojtech HavlenaLukás HolíkOndrej LengálJuraj SícPublished in: CoRR (2023)
Keyphrases
- technical report
- data structure
- quantified boolean formulas
- string matching
- pattern matching
- databases
- search algorithm
- edit distance
- knowledge base
- tree search
- regular expressions
- proximity graph
- approximate string matching
- hamming distance
- query processing
- expert systems
- multiscale
- similarity measure
- database systems
- genetic algorithm