Decomposition Based SAT Encodings for Itemset Mining Problems.

Sad Jabbour, Lakhdar Sais, Yakoub Salhi

Browse the full PAKDD paper archive.