Mi
Mine 2 Compress
This is a tool that use itemset mining to compress CNF boolean formulae using tseitin’s encoding.
Any category Data Mining