Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables.
Taolue ChenAlejandro Flores-LamasMatthew HagueZhilei HanDenghang HuShuanglong KanAnthony Widjaja LinPhilipp RümmerZhilin WuPublished in: CoRR (2021)
Keyphrases
- constraint problems
- finite domain
- binary variables
- constrained problems
- constraint programming
- boolean variables
- configuration problems
- constraint satisfaction
- constraint propagation
- cardinality constraints
- linear programming problems
- equality constraints
- dual variables
- constraint satisfaction problems
- mixed integer program
- soft constraints
- constrained optimization
- regular expressions
- combinatorial optimization
- constraint sets
- constraint solving
- integer variables
- continuous variables
- resource constraints
- variable selection
- quadratic programming problems
- backtracking algorithm
- sat encodings
- linear functions
- nonlinear programming
- lagrange multipliers
- potential functions
- suffix tree
- pattern matching