Novikov, S. Parallel Constructing of the Shortest Coverings of Large Boolean Matrices. SI 2019, 20, 27-37.