F. Margot, "Pruning by Isomorphism in Branch-and-Cut",
Mathematical Programming 94 (2002), 71-90.
prunisom_abst.ps
LP files of the test problems
Published version available at
Springer's Link Search Site.
Note: The algorithm orb_in_stab() (p. 82) has a typo: In the last line,
"perm[j]" should be "loc_perm[j]", as pointed out by S. Raaphorst.