ByNobleID
    On the simplification of Boolean polynomials | NobleID