3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2015★ 3 cited
On SAT Models Enumeration in Itemset Mining
Said Jabbour, Lakhdar Sais, Yakoub Salhi
Frequent itemset mining is an essential part of data analysis and data mining. Recent works propose interesting SAT-based encodings for the problem of discovering frequent itemsets…
cs.AI2013
Mining to Compact CNF Propositional Formulae
Said Jabbour, Lakhdar Sais, Yakoub Salhi
In this paper, we propose a first application of data mining techniques to propositional satisfiability. Our proposed Mining4SAT approach aims to discover and to exploit hidden str…