Logic Minimization Algorithms for VLSI Synthesis heftetEngelsk, 2011