Sign in

OptiMathSAT: A Tool for Optimization Modulo Theories.

Roberto SebastianiPatrick Trentin
Published in: J. Autom. Reason. (2020)
Keyphrases
  • modulo theories
  • optimization problems
  • high level
  • machine learning