Mi
Mine 2 Compress
Il s’agit d’un outil qui utilise l’exploration d’items pour compresser les formules booléennes CNF en utilisant l’encodage de tseitin.
Toute catégorie Fouille de données