ByNobleID
    Non-learnable classes of Boolean formulae that are closer under variable permutation | NobleID