First-Order Mixed Integer Linear Programming
Integer and Combinatorial Optimization