On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT.

Roberto Sebastiani, Patrick Trentin

Browse the full CADE paper archive.