Gábor Pataki Mustafa Tural Branching proofs of infeasibility in low density subset sum problems http://arxiv.org/abs/0808.0023 2008 CoRR abs/0808.0023 db/journals/corr/corr0808.html#abs-0808-0023 informal publication