Decomposition Based SAT Encodings for Itemset Mining Problems.

Saïd Jabbour Lakhdar Sais Yakoub Salhi

Published in: PAKDD (2) (2015)

Keyphrases

itemset mining
itemsets
sat encodings
solving problems
optimization problems
integer linear programming
social networks
constraint programming
data mining problems