Logic-Based Methods for Optimization: Combining Optimization and Constraint SatisfactionHooker, John201,30€