Data mining and knowledge discovery via logic-based methods theory, algorithms, and applications - Triantaphyllou, Evangelos (Springer Optimization and Its Applications,, 2010)