Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions.

Roberto Sebastiani, Patrick Trentin

Browse the full TACAS paper archive.