Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications

Dimitri Chubarov, Andrei Voronkov. Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications. In Joanna Jedrzejowicz, Andrzej Szepietowski, editors, Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings. Volume 3618 of Lecture Notes in Computer Science, pages 260-270, Springer, 2005. [doi]

Authors

Dimitri Chubarov

This author has not been identified. Look up 'Dimitri Chubarov' in Google

Andrei Voronkov

This author has not been identified. It may be one of the following persons: Look up 'Andrei Voronkov' in Google