On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT.

Roberto Sebastiani Patrick Trentin

Published in: SMT@IJCAR (2016)

Keyphrases

modulo theories
combinatorial optimization
computational complexity
query processing
general purpose
optimization problems
orders of magnitude