Invited Talk: Algorithms for Multi-Level Logic Synthesis | part of Advanced Research in VLSI: Proceedings of the Fifth MIT Conference | MIT Press books | IEEE Xplore