An Algorithm for Optimal NAND Cascade Logic Synthesis | IEEE Journals & Magazine | IEEE Xplore