Basis of solutions for a system of linear inequalities in integers: Computation and applications
D Chubarov, A Voronkov - International Symposium on Mathematical …, 2005 - Springer
International Symposium on Mathematical Foundations of Computer Science, 2005•Springer
We define a basis of solutions of a system of linear inequalities and present a general
algorithm for finding such a basis. Our algorithm relies on an algorithm for finding a Hilbert
basis for the set of nonnegative solutions of a system of linear inequalities and can be used
in conjunction with any such algorithm.
algorithm for finding such a basis. Our algorithm relies on an algorithm for finding a Hilbert
basis for the set of nonnegative solutions of a system of linear inequalities and can be used
in conjunction with any such algorithm.
Abstract
We define a basis of solutions of a system of linear inequalities and present a general algorithm for finding such a basis. Our algorithm relies on an algorithm for finding a Hilbert basis for the set of nonnegative solutions of a system of linear inequalities and can be used in conjunction with any such algorithm.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果