Exploiting orbits in symmetric Integer Linear Program

Exploiting orbits in symmetric Integer Linear Program

0.00 Avg rating0 Votes
Article ID: iaor20051100
Country: Germany
Volume: 98
Issue: 1/3
Start Page Number: 3
End Page Number: 21
Publication Date: Jan 2003
Journal: Mathematical Programming
Authors:
Abstract:

This paper describes components of a branch-and-cut algorithm for solving integer linear programs having a large symmetry group. It describes an isomorphism pruning algorithm and variable setting procedures using orbits of the symmetry group. Pruning and orbit computations are performed by backtracking procedures using a Schreier–Sims table for representing the symmetry group. Applications to hard set covering problems, generation of covering designs and error correcting codes are given.

Reviews

Required fields are marked *. Your email address will not be published.