Stochastic Integer Programming. An Algorithmic Perspective
Logic-Based Methods for Global Optimization