9 An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions
215
17. Soeken, M., Mishchenko, A., Petkovska, A., Sterin, B., Ienne, P., Brayton, R.K., De Micheli,
G.: Heuristic NPN classification for large functions using AIGs and LEXSAT. In: Creignou,
N., Berre, D.L. (eds.) Theory and Applications of Satisfiability Testing - SAT 2016. Lecture
Notes in Computer Science, vol. 9710. Springer, Berlin (2016)
18. Soeken, M., Roetteler, M., Wiebe, N., De Micheli, G.: Logic synthesis for quantum computing
(2017). arXiv1706.02721
19. Thornton, M.A., Drechsler, R., Miller, D.M.: Spectral Techniques in VLSI CAD. Kluwer
Academic Publishers, Boston (2001)
20. Walsh, J.L.: A closed set of orthogonal functions. Am. J. Math 45, 5–24 (1923)
215
17. Soeken, M., Mishchenko, A., Petkovska, A., Sterin, B., Ienne, P., Brayton, R.K., De Micheli,
G.: Heuristic NPN classification for large functions using AIGs and LEXSAT. In: Creignou,
N., Berre, D.L. (eds.) Theory and Applications of Satisfiability Testing - SAT 2016. Lecture
Notes in Computer Science, vol. 9710. Springer, Berlin (2016)
18. Soeken, M., Roetteler, M., Wiebe, N., De Micheli, G.: Logic synthesis for quantum computing
(2017). arXiv1706.02721
19. Thornton, M.A., Drechsler, R., Miller, D.M.: Spectral Techniques in VLSI CAD. Kluwer
Academic Publishers, Boston (2001)
20. Walsh, J.L.: A closed set of orthogonal functions. Am. J. Math 45, 5–24 (1923)