Fabrizio Angiulli Stefano Basta Optimal Subset Selection for Classification through SAT Encodings. 309-318 2008 IFIP AI http://dx.doi.org/10.1007/978-0-387-09695-7_30 conf/ifip12/2008 db/conf/ifip12/ai2008.html#AngiulliB08