This repo is about a distributed SAT solver for CFI (Closed Frequent Itemsets)
distributed-systems
distributed-computing
frequent-itemset-mining
sat-solver
closed-frequent-itemset
closed-frequent-itemset-mining
-
Updated
Apr 5, 2023 - C++