GURSKI, F. Efficient Binary Linear Programming Formulations for Boolean Functions. Statistics, Optimization & Information Computing, v. 2, n. 4, p. 274-279, 21 Nov. 2014.