Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications - Triantaphyllou, Evangelos; SpringerLink (Online service) (Boston, MA : Springer US, 2010)
Keywords: Mathematics; Computer science; Operations research; Mathematics; Operations Research, Mathematical Programming; Mathematical Logic and Formal Languages; Operations Research/Decision Theory