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