Norn: An SMT Solver for String Constraints.
Parosh Aziz AbdullaMohamed Faouzi AtigYu-Fang ChenLukás HolíkAhmed RezinePhilipp RümmerJari StenmanPublished in: CAV (1) (2015)
Keyphrases
- constraint solver
- constraint solving
- pattern matching
- constraint solvers
- neural network
- linear constraints
- constrained optimization
- constraint programming
- database
- global constraints
- geometric constraints
- binary strings
- mixed integer
- regular expressions
- orders of magnitude
- information extraction
- query language
- data sets