OKullmann/oklibrary — pull request #356 by MGwynne (2012-02-13 15:24:03+00:00)
Title: Running the ID3 algorithm to generate a AES S-box CNF hitting clause-set...

Branch: id3.
Repository: OKlibrary.

Trying out the ID3 algorithm as a heuristic for computing small hitting-tree clause-sets for the AES S-box.

Matthew