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