Logic Minimization Techniques with Applications to Cryptology

Created April 01, 2013, Updated February 19, 2017