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]

@inproceedings{ChubarovV05:0,
  title = {Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications},
  author = {Dimitri Chubarov and Andrei Voronkov},
  year = {2005},
  doi = {10.1007/11549345_23},
  url = {http://dx.doi.org/10.1007/11549345_23},
  researchr = {https://researchr.org/publication/ChubarovV05%3A0},
  cites = {0},
  citedby = {0},
  pages = {260-270},
  booktitle = {Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings},
  editor = {Joanna Jedrzejowicz and Andrzej Szepietowski},
  volume = {3618},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28702-7},
}