Sergey Krivoi. Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints. In Roman Wyrzykowski, Jack Dongarra, Marcin Paprzycki, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers. Volume 2328 of Lecture Notes in Computer Science, pages 264-271, Springer, 2001. [doi]
Abstract is missing.