From MiniZinc to Optimization Modulo Theories, and Back.

Francesco Contaldo, Patrick Trentin, Roberto Sebastiani

Browse the full CPAIOR paper archive.