swMATH21858MaRDI QIDQ33658FDOQ33658
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-03077-7_2
Cited In (22)
- MiniZinc with strings
- Constraint programming for dynamic symbolic execution of JavaScript
- A decision procedure for regular membership and length constraints over unbounded strings
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- Stranger
- HAMPI
- Qex
- Kaluza
- Oscar.cbls
- JST
- S3
- Z3-str
- iZplus
- Norn
- StrSolve
- WAPTEC
- ExpoSE
- SymJS
- Z3str3
- Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Dashed strings for string constraint solving
- An efficient SMT solver for string constraints
This page was built for software: PASS
