leonard-de-vinci / Distributed_SAT_Approach_FIM

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

Geek Repo

Github PK Tool