Strengthening convex relaxations of 0/1-sets using Boolean formulas.

Samuel Fiorini Tony Huynh Stefan Weltge

Published in: Math. Program. (2021)

Keyphrases

convex relaxation
boolean formula
convex optimization
membership queries
small number
multistage
multi label
sat solvers
globally optimal
machine learning
simulated annealing
multiple kernel learning
practical problems