1. Sapozhenko, A.A. Minimizatsiya bulevykh funktsii v klasse diz"yunktivnykh normal'nykh form / A.A. Sapozhenko, I.P. Chukhrov // Itogi nauki i tekhniki. - M., 1987. - T. 25. - S. 68-116.
2. Leonchik, P.V. Minimizatsiya sistem bulevykh funktsii v klasse diz"yunktivnykh normal'nykh form / P.V. Leonchik // Informatika. - 2006. - № 1(9). - C. 88-96.
3. Zakrevskii, A.D. Osnovy logicheskogo proektirovaniya. Kombinatornye algoritmy diskretnoi matematiki. Kn. 1 / A.D. Zakrevskii, Yu.V. Pottosin, L.D. Cheremisinova. - Minsk: OIPI NAN Belarusi, 2004.
4. Yang, S. Logic synthesis and optimization benchmarks user guide version 3.0. Technical Report / S. Yang. - Microelectronics Center of North Carolina, 1991.
5. Zakrevskii, A.D. Generatory psevdosluchainykh logiko-kombinatornykh ob"ektov / A.D. Zakrevskii, N.R. Toropov // Logicheskoe proektirovanie: sb. nauch. tr. - Minsk: In-t tekhn. kibernetiki NAN Belarusi, 1999. - S. 49-63.
6. Beasley, J.E. OR-Library: Distributing test problems by electronic mail / J.E. Beasley // Journal of the Operational Research Society. - 1990. - Vol. 41, № 11. - P. 1069-1072.
7. Logic Minimization Algorithms for VLSI synthesis / R.K. Brayton [et al.]. - Boston: Kluwer Academic Publishers, 1984.
8. ESPRESSO-II: a New Logic Minimizer for PLA / R.K. Brayton [et al.] // IEEE Pros. Custom Integrated Circuits Conf. - Rochester, 1984.
9. Rudel, R. Multiple-Valued Minimization for PLA Optimization / R. Rudel, A. Sangiovanni Vincentelli // IEEE Trans. Computer-Aided Des. - 1987. - Vol. CAD-6, № 5. - R. 727-751.
10. Eremeev, A.V. Geneticheskii algoritm dlya zadachi o pokrytii / A.V. Eremeev // Diskretnyi analiz i issledovanie operatsii. - 2000. - Ser. 2. - T. 7, № 1. - S. 47-60.