A symbolic algorithm for the case-split rule in solving word constraints with extensions
Autor: | Chen, Yu-Fang, Havlena, Vojtěch, Lengál, Ondřej, Turrini, Andrea |
---|---|
Zdroj: | In The Journal of Systems & Software July 2023 201 |
Databáze: | ScienceDirect |
Externí odkaz: |