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]

Authors

Miguel Couceiro

This author has not been identified. Look up 'Miguel Couceiro' in Google

Erkko Lehtonen

This author has not been identified. Look up 'Erkko Lehtonen' in Google

Pierre Mercuriali

This author has not been identified. Look up 'Pierre Mercuriali' in Google

Romain Péchoux

This author has not been identified. Look up 'Romain Péchoux' in Google