A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving.

Yu-Fang Chen Vojtech Havlena Ondrej Lengál Andrea Turrini

Published in: APLAS (2020)

Keyphrases

constraint solving
learning algorithm
dynamic programming
similarity measure
objective function
k means
optimal solution
simulated annealing
detection algorithm
association rules
search space
np hard
linear programming
constraint satisfaction problems
constraint propagation