@misc{indiciaee7cc1ffb7077, title = {A Branch-and-Cut Strategy for the Manickam-Miklos-Singhi Conjecture}, author = {Stephen G. Hartke and Derrick Stolee}, year = {2013}, url = {https://arxiv.org/abs/1302.3636}, note = {Source identifier: 1302.3636} }