Accurate String Constraints Solution Counting with Weighted Automata.
Elena ShermanAndrew HarrisPublished in: ASE (2019)
Keyphrases
- regular expressions
- optimal solution
- data structure
- inequality constraints
- tree automata
- finite state automaton
- neural network
- partial solutions
- mixed integer
- finite state machines
- integer programming
- constrained optimization
- finite state
- exact solution
- cellular automata
- linear equations
- integer program
- high accuracy
- constraint problems
- state space
- constraint violations
- multi objective