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

Andrei Draghici Christoph Haase Florin Manea

Published in: CoRR (2023)

Keyphrases

constrained optimization
interval arithmetic
constraint satisfaction
affine transformation
linear constraints
databases
genetic algorithm
computer vision
image registration
affine invariant
geometric constraints
hamming distance
floating point
piecewise affine