Z3-Noodler: An Automata-based String Solver.

Yu-Fang Chen David Chocholatý Vojtech Havlena Lukás Holík Ondrej Lengál Juraj Síc

Published in: TACAS (1) (2024)

Keyphrases

data structure
edit distance
string matching
hamming distance
suffix array
neural network
suffix tree
constraint solver
computer vision
image sequences
probabilistic model
regular expressions
binary strings