Integer Programming: An optimisation framework where decision variables are restricted to integer values, ... Lattice-Free Sets: Convex regions devoid of interior integer points, ...