Logic Minimization Techniques with Applications to Cryptology

Created April 01, 2013, Updated October 19, 2016