G. Boole, The calculus of logic, Cambridge and Dublin Mathematical Journal, vol.III, pp.183-98, 1848.

G. Boole, An investigation of the laws of thought, 1854.
DOI : 10.1017/CBO9780511693090

R. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819

A. Canteaut and M. Trabbia, Improved fast correlation attacks using paritycheck equations of weight 4 and 5, Advances in cryptology -EUROCRYPT 2000, international conference on the theory and application of cryptographic techniques, pp.573-588, 2000.

A. Canteaut and M. Videau, Symmetric Boolean Functions, IEEE Transactions on Information Theory, vol.51, issue.8, pp.2791-2811, 2005.
DOI : 10.1109/TIT.2005.851743

URL : https://hal.archives-ouvertes.fr/inria-00001148

C. Carlet, Boolean models and methods in mathematics, computer science, and engineering, 2010.

V. V. Chepyzhov and B. J. Smeets, On A Fast Correlation Attack on Certain Stream Ciphers, Advances in cryptology -EUROCRYPT '91, workshop on the theory and application of of cryptographic techniques, pp.8-11, 1991.
DOI : 10.1007/3-540-46416-6_16

N. Creignou, S. Khanna, and M. Sudan, Complexity classifications of boolean constraint satisfaction problems, 2001.
DOI : 10.1137/1.9780898718546

P. Guillot, Fonctions courbes binaires et transformation de Mobius, 1999.

T. Kasami and N. Tokura, On the weight structure of Reed-Muller codes, IEEE Transactions on Information Theory, vol.16, issue.6, pp.752-759, 1970.
DOI : 10.1109/TIT.1970.1054545

E. M. Palmer, R. C. Read, and R. W. Robinson, Balancing the n-cube: A census of colorings, Journal of Algebraic Combinatorics, vol.1, issue.3, pp.257-273, 1992.
DOI : 10.1023/A:1022487918212

J. Pieprzyk, H. Wang, and X. Zhang, M??bius transforms, coincident Boolean functions and non-coincidence property of Boolean functions, International Journal of Computer Mathematics, vol.136, issue.7, pp.1398-1416, 2011.
DOI : 10.1016/0097-3165(76)90024-8