Hsu, Eric, and Sheila McIlraith. “Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search”. Proceedings of the International Symposium on Combinatorial Search, vol. 1, no. 1, Aug. 2010, pp. 111-2, doi:10.1609/socs.v1i1.18180.