Login / Signup

On Optimization Modulo Theories, MaxSMT and Sorting Networks.

Roberto SebastianiPatrick Trentin
Published in: TACAS (2) (2017)
Keyphrases
  • modulo theories
  • optimization problems
  • machine learning
  • orders of magnitude