Discrete Optimization by Pascal Van Hentenryck was a real gem.