Hsu, E. and McIlraith, S. 2010. Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. Proceedings of the International Symposium on Combinatorial Search. 1, 1 (Aug. 2010), 111–112. DOI:https://doi.org/10.1609/socs.v1i1.18180.