%0 Journal Article %A Margot, Francois %D 2001 %T Pruning by Isomorphism in Branch-and-Cut %U https://kilthub.cmu.edu/articles/journal_contribution/Pruning_by_Isomorphism_in_Branch-and-Cut/6707579 %R 10.1184/R1/6707579.v1 %2 https://kilthub.cmu.edu/ndownloader/files/12236654 %K branch-and-cut %K isomorphism pruning %K symmetry %X The paper presents a branch-and-cut for solving (0, 1) integer linear programs having a large symmetry group. The group is used for pruning the enumeration tree and for generating cuts. The cuts are non-standard, cutting integer feasible solutions but leaving the optimal value of the problem unchanged. Pruning and cut generation are performed by backtracking procedures using a Schreier-Sims table for representing the group. Applications to hard set covering problems and to the generation of covering designs and error correcting codes are presented. %I Carnegie Mellon University