swMATH19493MaRDI QIDQ31320FDOQ31320
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2491411.2491456
Cited In (29)
- MiniZinc with strings
- Constraint programming for dynamic symbolic execution of JavaScript
- Active learning of sequential transducers with side information about the domain
- A decision procedure for regular membership and length constraints over unbounded strings
- From invariant checking to invariant inference using randomized search
- Stranger
- HAMPI
- Qex
- Kaluza
- Oscar.cbls
- PASS
- c2i
- JST
- S3
- VS3
- iZplus
- Norn
- Picat-SAT
- StrSolve
- WAPTEC
- Jalangi
- ExpoSE
- SymJS
- Z3str3
- Z3str2
- Bex
- 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: Z3-str
