ByNobleID
    Exact two-level minimization of hazard-free logic with multiple-input changes | NobleID