Satisfiability of Context-free String Constraints with Subword-ordering and Transducers

C Aiswarya, Soumodev Mal, Prakash Saivasan

We study the satisfiability of string constraints where context-free membership constraints may be imposed on variables. Additionally a variable may be constrained to be a subword…