Login / Signup
Solving String Constraints with Lengths by Stabilization.
Yu-Fang Chen
David Chocholatý
Vojtech Havlena
Lukás Holík
Ondrej Lengál
Juraj Síc
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
quadratic programming
constraint programming
constrained problems
real time
data structure
pattern matching
linear constraints
linear programming problems
databases
constraint satisfaction
constraint propagation
global constraints
hamming distance
nonlinear programming
constraint problems
finite domain