1. Amarù, L.G., Gaillardon, P.E., De Micheli, G.: Majority-inverter graph: a novel data-structure and algorithms for efficient logic optimization. In: 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), S. 194:1–194:6. IEEE, Piscataway (2014)
2. Amarù, L.G., Gaillardon, P.E., De Micheli, G.: Majority-inverter graph: a new paradigm for logic optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(5), 806–819 (2016)
3. Beatty, J.C.: An axiomatic approach to code optimization for expressions. J. ACM. 19(4), 613–640 (1972)
4. Berkeley Logic Synthesis and Verification Group: ABC-a system for sequential synthesis and verification (2005). http://www.eecs.berkeley.edu/~alanmi/abc/
5. Birkhoff, G., Kiss, S.A.: A ternary operation in distributive lattices. Bull. Am. Math. Soc. 53(8), 749–752 (1947)