A Distributed SAT-Based Framework for Closed Frequent Itemset Mining. - Julien Martin-Prin; Imen Ouled Dlala; Nicolas Travers; Saïd Jabbour (ADMA (2), 2022)