Pages that link to "Item:Q2964458"
From MaRDI portal
The following pages link to A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings (Q2964458):
Displaying 6 items.
- An efficient SMT solver for string constraints (Q518402) (← 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)
- Unification modulo lists with reverse relation with certain word equations (Q2305403) (← links)
- Towards more efficient methods for solving regular-expression heavy string constraints (Q2680985) (← links)
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings (Q2964458) (← links)
