Publication

[ChenHLT23] A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions Chen, Y.-F.; Havlena, V.; Lengál, O. and Turrini, A. In J. Syst. Softw., 2023.
Downloads: bib