Logic Minimization Techniques with Applications to Cryptology

Created April 01, 2013, Updated April 01, 2013