Chain-free string constraints

PA Abdulla, MF Atig, BP Diep, L Holík… - Automated Technology for …, 2019 - Springer
We address the satisfiability problem for string constraints that combine relational constraints
represented by transducers, word equations, and string length constraints. This problem is …
被引用次数：35 相关文章

Chain-Free String Constraints

PA Abdulla, MF Atig, BP Diep, L Holík… - … Symposium on Automated …, 2019 - dl.acm.org
We address the satisfiability problem for string constraints that combine relational constraints
represented by transducers, word equations, and string length constraints. This problem is …

Chain-Free String Constraints

P Janku - Automated Technology for Verification and Analysis …, 2019 - books.google.com
We address the satisfiability problem for string constraints that combine relational constraints
represented by transducers, word equations, and string length constraints. This problem is …
[HTML] diva-portal.org

[HTML][HTML] Chain-Free String Constraints

PA Abdulla, MF Atig, B Phi Diep, L Holik… - ATVA 2019, October 28 …, 2019 - diva-portal.org
We address the satisfiability problem for string constraints that combine relational constraints
represented by transducers, word equations, and string length constraints. This problem is …

Chain-Free String Constraints

PA Abdulla - Automated Technology for Verification and Analysis - Springer
We address the satisfiability problem for string constraints that combine relational constraints
represented by transducers, word equations, and string length constraints. This problem is …