Pages that link to "Item:Q832270"
From MaRDI portal
The following pages link to An SMT solver for regular expressions and linear arithmetic over string length (Q832270):
Displaying 7 items.
- Z3str2: an efficient solver for strings, regular expressions, and length constraints (Q526767) (← links)
- String theories involving regular membership predicates: from practice to theory and back (Q2140459) (← links)
- Towards more efficient methods for solving regular-expression heavy string constraints (Q2680985) (← links)
- Solving String Theories Involving Regular Membership Predicates Using SAT (Q6487302) (← links)
- Solving string constraints using SAT (Q6535533) (← links)
- Incremental dead state detection in logarithmic time (Q6535537) (← links)
- A closer look at the expressive power of logics based on word equations (Q6580075) (← links)