18 citations · 27 across the 8 of their papers we have counts for
1 paper · 1 filter
Shuanglong Kan, Anthony W. Lin, Philipp Rümmer +1
Theories over strings are among the most heavily researched logical theories in the SMT community in the past decade, owing to the error-prone nature of string manipulations, which…