Gurski, F. (2014). Efficient Binary Linear Programming Formulations for Boolean Functions. Statistics, Optimization & Information Computing, 2(4), 274-279. https://doi.org/10.19139/soic.v2i4.83