Chain-Free String Constraints (Technical Report).

Parosh Aziz Abdulla Mohamed Faouzi Atig Bui Phi Diep Lukás Holík Petr Janku

Published in: CoRR (2023)

Keyphrases

technical report
pattern matching
database
data sets
real time
databases
data structure
linear constraints
neural network
information retrieval
learning algorithm
co occurrence
constraint satisfaction
constrained optimization
constraint solving
multiple constraints