E. Hsu and S. McIlraith, “Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search”, SOCS, vol. 1, no. 1, pp. 111–112, Aug. 2010.