S. Novikov, “Parallel constructing of the shortest coverings of large Boolean matrices”, SI, vol. 20, no. 1-2, pp. 27–37, May 2019.