F. Gurski, “Efficient Binary Linear Programming Formulations for Boolean Functions”, Stat., optim. inf. comput., vol. 2, no. 4, pp. 274-279, Nov. 2014.