Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas.

Samuel Fiorini Tony Huynh Stefan Weltge

Published in: CoRR (2017)

Keyphrases

convex relaxation
boolean formula
convex optimization
multi label
globally optimal
linear constraints
horn clauses
upper bound
graph cuts
multistage