Gurski, F. Efficient Binary Linear Programming Formulations for Boolean Functions. Stat., optim. inf. comput. 2014, 2, 274-279.