Fast heuristic and exact algorithms for two-level hazard-free logic minimization