collaborators

1 paper

cs.LO2025

A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)

Yu-Fang Chen, Vojtěch Havlena, Michal Hečko +2

We introduce a novel decision procedure for solving the class of position string constraints, which includes string disequalities, not-prefixof, not-suffixof, strat, and not-str…