Improved Heuristics for Short Linear Programs. (2019). IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020(1), 203-230. https://doi.org/10.13154/tches.v2020.i1.203-230