Parallel SAT based closed frequent itemsets enumeration | IEEE Conference Publication | IEEE Xplore