S3
From MaRDI portal
S3 Q31322
Cited in
(31)- MiniZinc with strings
- Constraint programming for dynamic symbolic execution of JavaScript
- A decision procedure for regular membership and length constraints over unbounded strings
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- Monadic decomposition in integer linear arithmetic
- Stranger
- HAMPI
- Qex
- AMNESIA
- Kaluza
- Oscar.cbls
- PASS
- JST
- Z3-str
- iZplus
- Norn
- Picat-SAT
- StrSolve
- WAPTEC
- Jalangi
- ExpoSE
- SymJS
- Z3str3
- Z3str2
- Towards more efficient methods for solving regular-expression heavy string constraints
- StringFuzz
- Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Chain-free string constraints
- Dashed strings for string constraint solving
- An efficient SMT solver for string constraints
- A decision procedure for string to code point conversion
This page was built for software: S3
