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