Optimal Combinational Multi-Level Logic Synthesis. - Elizabeth Ann Ernst (2009)