/Distributed_SAT_Approach_FIM

This repo is about a distributed SAT solver for CFI (Closed Frequent Itemsets)

Primary LanguageC++

Issues