TY - RPRT TI - A Branch-and-Cut Strategy for the Manickam-Miklos-Singhi Conjecture AU - Stephen G. Hartke AU - Derrick Stolee PY - 2013 UR - https://arxiv.org/abs/1302.3636 ID - 1302.3636 ER -