Logic-Based Methods for Optimization door John Hooker