Pages that link to "Item:Q6485885"

The following pages link to A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type (Q6485885):

Displaying 2 items.

• Word equations in synergy with regular constraints (Q6174543) (← links)
• Solving Not-Substring Constraint withFlat Abstraction (Q6488164) (← links)