"Pruning by Isomorphism in Branch-and-Cut",
Mathematical Programming 94 (2002), 71-90,
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.