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