Ka Wa Yip, Hong Xu, Sven Koenig, and T. K. Satish Kumar. Quadratization of nonlinear pseudo-Boolean functions via the constraint composite graph. In Proceedings of the 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR). 2019.
[BibTeX▼]