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