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