Sign in

Optimization Modulo Theories with Linear Rational Costs.

Roberto SebastianiSilvia Tomasi
Published in: ACM Trans. Comput. Log. (2015)
Keyphrases
  • modulo theories
  • computational complexity
  • optimization problems
  • combinatorial optimization
  • programming language
  • answer set programming