Pages that link to "Item:Q6487302"
From MaRDI portal
The following pages link to Solving String Theories Involving Regular Membership Predicates Using SAT (Q6487302):
Displaying 5 items.
- An efficient SMT solver for string constraints (Q518402) (← 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)
- Unbounded Model-Checking with Interpolation for Regular Language Constraints (Q5326331) (← links)
- Solving string constraints using SAT (Q6535533) (← links)