3- https://doi.org/10.1016/j.jss.2023.111673
A symbolic algorithm for the case-split rule in solving word constraints with extensions
- Mar 5, 2023
- Journal of Systems and Software
- Yu-Fang Chen +3 more
Abstract
A symbolic algorithm for the case-split rule in solving word constraints with extensions
- # String Constraints
- # Proof Tree
- # State Space Explosion
- # Proof Rule
- # Length Constraints
- # Regular Constraints
- # Symbolic Algorithm
- # Regular Language
- # Practical Cases
- # Primary Cause
Similar Papers
