Riznyk, V. and Solomko, M. (2018) “Minimization of conjunctive normal forms of boolean functions by combinatorial method”, Technology audit and production reserves, 5(2(43), pp. 42–55. doi: 10.15587/2312-8372.2018.146312.