APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Listrovoj, S. V., and A. V. Sidorenko. Methods of Solution to the K-SAT-problem Is Based on Its Reduction to the Problem of Covering. 2015.

MLA (8th ed.) Citation

Listrovoj, S. V., and A. V. Sidorenko. Methods of Solution to the K-SAT-problem Is Based on Its Reduction to the Problem of Covering. 2015.

Warning: These citations may not always be 100% accurate.