Semënov Arithmetic, Affine {VASS}, and String Constraints.

Andrei Draghici Christoph Haase Florin Manea

Published in: STACS (2024)

Keyphrases

affine invariant
affine transformation
constrained optimization
constraint satisfaction
regular expressions
similarity measure
search space
pattern matching
convex hull
constraint networks