3 citations · 5 across the 3 of their papers we have counts for
1 paper · 2 filters
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…