Sign in

OptiMathSAT: A Tool for Optimization Modulo Theories.

Roberto SebastianiPatrick Trentin
Published in: CAV (1) (2015)
Keyphrases
  • modulo theories
  • combinatorial optimization
  • optimization problems
  • search space
  • answer set programming