Pages that link to "Item:Q2931409"
From MaRDI portal
The following pages link to An efficient algorithm for solving word equations (Q2931409):
Displaying 8 items.
- One-variable word equations in linear time (Q261339) (← links)
- Symbolic automata for representing big code (Q300407) (← links)
- Finding all solutions of equations in free groups and monoids with involution (Q342722) (← links)
- 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)
- (Q5089281) (← links)
- The hardness of solving simple word equations (Q5111232) (← links)
- A solver for arrays with concatenation (Q6156632) (← links)
