TY  - RPRT
TI  - On When and How to use SAT to Mine Frequent Itemsets
AU  - Rui Henriques
AU  - Inês Lynce
AU  - Vasco Manquinho
PY  - 2012
UR  - https://arxiv.org/abs/1207.6253
ID  - 1207.6253
ER  -