NP-completeness conditions for consistency verification of some types of systems of linear Diophantine dis-equations

From MaRDI portal