Logic-Based Methods for Optimization e-bokEngelska, 2011