TY - RPRT TI - Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas AU - Samuel Fiorini AU - Tony Huynh AU - Stefan Weltge PY - 2018 UR - https://arxiv.org/abs/1711.01358 ID - 1711.01358 ER -