Login / Signup
On Optimization Modulo Theories, MaxSMT and Sorting Networks.
Roberto Sebastiani
Patrick Trentin
Published in:
TACAS (2) (2017)
Keyphrases
</>
modulo theories
optimization problems
machine learning
orders of magnitude