Hsu, Eric, and Sheila McIlraith. 2010. “Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search”. Proceedings of the International Symposium on Combinatorial Search 1 (1):111-12. https://doi.org/10.1609/socs.v1i1.18180.