Kedong Yan, Hong Seo Ryoo. Cliques for Multi-Term Linearization of 0-1 Multilinear Program for Boolean Logical Pattern Generation. In Hoai An Le Thi, Hoai Minh Le, Tao Pham Dinh, editors, Optimization of Complex Systems: Theory, Models, Algorithms and Applications, WCGO 2019, World Congress on Global Optimization, Metz, France, 8-10 July, 2019. Volume 991 of Advances in Intelligent Systems and Computing, pages 376-386, Springer, 2019. [doi]
Abstract is missing.