On the efficiency of normal form systems for representing Boolean functions

Miguel Couceiro, Erkko Lehtonen, Pierre Mercuriali, Romain PĂ©choux. On the efficiency of normal form systems for representing Boolean functions. Theoretical Computer Science, 813:341-361, 2020. [doi]

Abstract

Abstract is missing.