85 citations · 118 across the 5 of their papers we have counts for
1 paper · 1 filter
Francesco Alberti, Silvio Ghilardi, Elena Pagani
We identify a fragment of Presburger arithmetic enriched with free function symbols and cardinality constraints for interpreted sets, which is amenable to automated analysis. We es…