1. Brayton RK, Hachtel GD, Sangiovanni-Vincentelli AL (1990) Multilevel logic synthesis. Proc IEEE 78(2):264–300
2. Coudert O, Madre JC (1995) New ideas for solving covering problems. In: Proceedings of the design automation conference, San Francisco, pp 641–646
3. Gimpel JF (1965) A reduction technique for prime implicant tables. IEEE Trans Electron Comput 14(4):535–541
4. Karnaugh M (1953) The map method for synthesis of combinational logic circuits. Trans AIEE Commun Electron 72:593–599
5. Karp RM (1972) Reducibility among combinatorial problems. In: Miller RE, Thatcher JW (eds) Complexity of computer computations. Plenum Press, New York, pp 85–103