Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering - S. V. Listrovoj; A. V. Sidorenko (Electronic modeling, 2015)