Sign in

From MiniZinc to Optimization Modulo Theories, and Back.

Francesco ContaldoPatrick TrentinRoberto Sebastiani
Published in: CPAIOR (2020)
Keyphrases
  • modulo theories
  • optimization problems
  • artificial intelligence
  • constraint satisfaction
  • genetic algorithm