Logic-Based Methods For Optimization. Combining Optimization And Constraint SatisfactionJohn Hooker101,20 €