Efficient exact two-level hazard-free logic minimization | IEEE Conference Publication | IEEE Xplore