Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph. - Ka Wa Yip; Hong Xu 003; Sven Koenig; T. K. Satish Kumar (CPAIOR, 2019)