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