Logic‐Based Methods for Optimization2011-09-300 OA AI DOI:10.1002/9781118033036OriginalOriginal request for helpShareSaveAbstract En