The calculus of logic, Cambridge and Dublin Mathematical Journal, vol.III, pp.183-98, 1848. ,
An investigation of the laws of thought, 1854. ,
DOI : 10.1017/CBO9780511693090
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
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. ,
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
Boolean models and methods in mathematics, computer science, and engineering, 2010. ,
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
Complexity classifications of boolean constraint satisfaction problems, 2001. ,
DOI : 10.1137/1.9780898718546
Fonctions courbes binaires et transformation de Mobius, 1999. ,
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
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
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