TY - RPRT TI - Branching proofs of infeasibility in low density subset sum problems AU - Gabor Pataki AU - Mustafa Tural PY - 2008 UR - https://arxiv.org/abs/0808.0023 ID - 0808.0023 ER -