Optimization Modulo Theories with Linear Rational Costs.

Roberto Sebastiani Silvia Tomasi

Published in: CoRR (2014)

Keyphrases

modulo theories
optimization problems
learning algorithm
metadata