OKullmann/oklibrary — pull request #332 by MGwynne (2012-01-13 15:00:18+00:00)
Title: Experimental results new

Branch: experimental_results_new.

Updating AES(r,1,3,4) analysis, including point-wise analysis, and also adding formulas for the number of clauses.

Matthew