StrSolve: solving string constraints lazily.
Pieter HooimeijerWestley WeimerPublished in: Autom. Softw. Eng. (2012)
Keyphrases
- linear programming problems
- data structure
- constrained problems
- neural network
- geometric constraints
- constrained optimization
- linear programming
- regular expressions
- solving problems
- integer program
- search algorithm
- relational databases
- global constraints
- mixed integer
- constraint problems
- distributed constraint optimization problems