Comparing the efficiency of normal form systems to represent Boolean functions ,
URL : https://hal.archives-ouvertes.fr/hal-01551761
Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions, Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL), 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01504010
The associativity equation re-revisited, Bayesian Inference and Maximum Entropy Methods in Science and Engineering, pp.195-203, 2004. ,
Majority-inverter graph: A novel datastructure and algorithms for efficient logic optimization, Proceedings of the 51st Annual Design Automation Conference, pp.1-6, 2014. ,
Term rewriting and all that, 1999. ,
The algebra of majority consensus, Algebra Universalis, vol.29, issue.4, pp.546-555, 1992. ,
Lattice theory, vol.25, 1948. ,
A Course in universal algebra, Graduate Texts in Mathematics, vol.78, 1981. ,
Composition of post classes and normal forms of boolean functions, Discrete Mathematics, vol.306, issue.24, pp.3223-3243, 2006. ,
An algorithm for producing median normal form representations for Boolean functions, Proceedings of the Reed-Muller Workshop, pp.49-54, 2011. ,
Characterizations of discrete sugeno integrals as polynomial functions over distributive lattices. Fuzzy Sets and Systems, vol.161, pp.694-707, 2010. ,
Aczélian n-ary semigroups, Semigroup Forum, vol.85, pp.81-90, 2012. ,
Boolean functions: Theory, algorithms, and applications, 2011. ,
Klop Term rewriting systems. Handbook of Logic in Computer Science, vol.2, pp.1-116, 1992. ,
Aggregation functions, 2009. ,
URL : https://hal.archives-ouvertes.fr/halshs-00445120
Majority logic gate for magnetic quantum-dot cellular automata, Science, vol.311, issue.5758, pp.205-208, 2006. ,
Simple word problems in universal algebras, Automation of Reasoning, pp.342-376, 1983. ,
The art of computer programming: Fundamental algorithms, vol.1, 1997. ,
Weighted lattice polynomials, Discrete Mathematics, vol.309, issue.4, pp.814-820, 2009. ,
Majority-logic synthesis by geometric methods, IRE Transactions on Electronic Computers, issue.1, pp.89-90, 1962. ,
Polyadic groups, Transactions of the American Mathematical Society, vol.48, pp.208-350, 1940. ,
Models of computation: Exploring the power of computing, 1997. ,
First-order proof of a median algebra problem, 2006. ,