Optimal Combinational Multi-Level Logic Synthesis.