Optimization and Computational Logic (Wiley Series in Discrete Mathematics and Optimization)