Kosovskii, N. K.; Kosovskaya, T. M.; Kosovskii, N. N. NP-Completeness Conditions for Some Types of Systems of Linear Diophantine Comparisons and Equations Consistency Checking. Математика 2020, 3, 1.