18 citations · 37 across the 7 of their papers we have counts for
1 paper · 1 filter
Roberto Amadini, Pierre Flener, Justin Pearson +3
Strings are extensively used in modern programming languages and constraints over strings of unknown length occur in a wide range of real-world applications such as software analys…