Hsu, E.; McIlraith, S. Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. SOCS 2010, 1, 111-112.