On Optimization Modulo Theories, MaxSMT and Sorting Networks.

Roberto Sebastiani Patrick Trentin

Published in: CoRR (2017)

Keyphrases

modulo theories
optimization problems
answer set programming