Stabilizer-based symmetry breaking constraints for mathematical programsLeo LibertiJames Ostrowski2013Journal of Global Optimization