6 citations · 13 across the 6 of their papers we have counts for
1 paper · 1 filter
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Integer octagonal constraints (a.k.a. ``Unit Two Variables Per Inequality'' or ``UTVPI integer constraints'') constitute an interesting class of constraints for the representation…