Chain-Free String Constraints.

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

Published in: ATVA (2019)

Keyphrases

pattern matching
neural network
constraint satisfaction
data sets
linear constraints
real time
data mining
information retrieval
learning algorithm
np complete
global constraints
hamming distance
constraint solving
physical constraints
binary strings