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]

@article{CouceiroLMP20,
  title = {On the efficiency of normal form systems for representing Boolean functions},
  author = {Miguel Couceiro and Erkko Lehtonen and Pierre Mercuriali and Romain Péchoux},
  year = {2020},
  doi = {10.1016/j.tcs.2020.01.009},
  url = {https://doi.org/10.1016/j.tcs.2020.01.009},
  researchr = {https://researchr.org/publication/CouceiroLMP20},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {813},
  pages = {341-361},
}