Kosovskii, N.K. et al. 2020. NP-completeness conditions for some types of systems of linear diophantine comparisons and equations consistency checking. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy. 3, 2 (Oct. 2020), 1. DOI:https://doi.org/10.21638/11701/spbu01.2016.202.