Karen Aardal, Utrecht University, visiting Rice University
Integer programming and basis reduction
We show how lattice basis reduction can be used when solving integer feasibility problems. In particular, we discuss three applications: a conflict detection problem, a market split problem, and the Frobenius problem.