Parallel algorithms for logic synthesis using the MIS approach | IEEE Conference Publication | IEEE Xplore