Invited Talk: Solving String Constraints, Starting from the Beginning and from the End.
Philipp RümmerPublished in: SMT (2020)
Keyphrases
- invited talk
- constrained problems
- data structure
- artificial intelligence
- linear programming problems
- pattern matching
- constraint satisfaction
- knowledge discovery and data mining
- integer program
- neural network
- constraint problems
- mixed integer program
- selected papers
- edit distance
- recent advances
- lagrange multipliers
- case based reasoning
- expert systems
- data analysis
- database