//-->
Stabilizer-based symmetry breaking constraints for mathematical programs
Liberti, Leo, (2014)
Solving large Steiner Triple Covering Problems
Ostrowski, James, (2011)