@misc{indiciae2117f25ff7ec, title = {Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas}, author = {Samuel Fiorini and Tony Huynh and Stefan Weltge}, year = {2018}, url = {https://arxiv.org/abs/1711.01358}, note = {Source identifier: 1711.01358} }