On the impact of symmetry-breaking constraints on spatial branch-and-bound for circle packing in a square - Costa, Alberto; Hansen, Pierre; Liberti, Leo (Discrete Applied Mathematics, 2013)