String Constraints with Regex-Counting and String-Length Solved More Efficiently.

Denghang Hu, Zhilin Wu

Browse the full SETTA paper archive.