S3
From MaRDI portal
Software:31322
swMATH19495MaRDI QIDQ31322FDOQ31322
Author name not available (Why is that?)
Cited In (11)
- 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
- Towards more efficient methods for solving regular-expression heavy string constraints
- 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
