Luc De Raedt Constraint Programming for Data Mining. 3 2009 EGC conf/f-egc/2009 db/conf/f-egc/egc2009.html#Raedt09