From MiniZinc to Optimization Modulo Theories, and Back (Extended Version).

Francesco Contaldo Patrick Trentin Roberto Sebastiani

Published in: CoRR (2019)

Keyphrases

modulo theories
optimization problems
answer set programming
objective function
general purpose