Abstract: The algorithms for computation of basis of solutions systems of linear constraints over set of real numbers, minimal supported set of solutions for systems of linear Diophantine homogeneous equations over set of natural numbers and basis of systems of linear Diophantine homogeneous and inhomogeneous equations over ring of integer numbers, over ring and eld of residues on modulo are described. Thies algorithms consider in context of solving of general constraint satisfaction problem

ACM Classication Keywords: Systems of linear Diophantine constraints, minimal supported set of solutions, basis of solutions, constraint satisfaction problem

Link:

Линейные ограничения и методы их решения

Сергей Л. Крывый

http://www.foibg.com/ijita/vol23/ijita23-02-p01.pdf