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
- Title not available (Why is that?)
- Chain-Free String Constraints
- Monadic decomposition in integer linear arithmetic
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
- Towards more efficient methods for solving regular-expression heavy string constraints
- Z3str2: an efficient solver for strings, regular expressions, and length 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
