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