Adaptive cut generation for improved linear programming decoding of binary linear codes | IEEE Conference Publication | IEEE Xplore