Solving string constraints with Regex-dependent functions through transducers with priorities and variables.
Taolue ChenAlejandro Flores-LamasMatthew HagueZhilei HanDenghang HuShuanglong KanAnthony W. LinPhilipp RümmerZhilin WuPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- constraint problems
- finite domain
- constraint programming
- binary variables
- boolean variables
- configuration problems
- equality constraints
- data structure
- constraint satisfaction
- potential functions
- quadratic programming problems
- constrained problems
- cardinality constraints
- linear programming problems
- finite automata
- mixed integer program
- regular expressions
- edit distance
- constraint solving
- integer program
- soft constraints
- constrained optimization
- variable selection
- variable ordering
- finite state automata
- combinatorial optimization
- decision variables
- continuous variables
- constraint satisfaction problems
- dual variables
- optimal solution