The following pages link to Murphy Berzish (Q526764):
Displaying 3 items.
- Z3str2: an efficient solver for strings, regular expressions, and length constraints (Q526767) (← links)
- An SMT solver for regular expressions and linear arithmetic over string length (Q832270) (← links)
- String theories involving regular membership predicates: from practice to theory and back (Q2140459) (← links)
