1. Brayton, R.K., Hachtel, G.D., Sangiovanni‐Vincentelli, A.L.: Multilevel logic synthesis. Proc. IEEE 78(2), 264–300 (1990)
2. Coudert, O., Madre, J.C.: New ideas for solving covering problems. In: Proc. Design Automation Conf., 1995, pp. 641–646
3. Gimpel, J.F.: A reduction technique for prime implicant tables. IEEE Trans. Electron. Comput. 14(4), 535–541 (1965)
4. Karnaugh, M.: The map method for synthesis of combinational logic circuits. Trans. AIEE, Commun. Electron. 72, 593–599 (1953)
5. Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W. (eds.) Complexity of Computer Computations, pp. 85–103. Plenum Press, New York (1972)