Gurski, Frank. “Efficient Binary Linear Programming Formulations for Boolean Functions”. Statistics, Optimization & Information Computing 2, no. 4 (November 21, 2014): 274-279. Accessed November 15, 2024. http://47.88.85.238/index.php/soic/article/view/20141201.