Basis of solutions for a system of linear inequalities in integers: Computation and applications

D. Chubarov; A. Voronkov

doi:10.1007/11549345_23

Basis of solutions for a system of linear inequalities in integers: Computation and applications

D. Chubarov, A. Voronkov

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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-Verlag Berlin Heidelberg 2005.

Original language	English
Title of host publication	Lecture Notes in Computer Science\|Lect. Notes Comput. Sci.
Editors	J. Jedrzejowicz, A. Szepietowski
Publisher	Springer Nature
Pages	260-270
Number of pages	10
Volume	3618
DOIs	https://doi.org/10.1007/11549345_23
Publication status	Published - 2005
Event	30th International Symposium on Mathematical Foundations of Computer Science 2005, MFCS 2005 - Gdansk Duration: 1 Jul 2005 → … http://dblp.uni-trier.de/db/conf/mfcs/mfcs2005.html#KorovinV05http://dblp.uni-trier.de/rec/bibtex/conf/mfcs/KorovinV05.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/mfcs/KorovinV05

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	30th International Symposium on Mathematical Foundations of Computer Science 2005, MFCS 2005
City	Gdansk
Period	1/07/05 → …
Internet address	http://dblp.uni-trier.de/db/conf/mfcs/mfcs2005.html#KorovinV05http://dblp.uni-trier.de/rec/bibtex/conf/mfcs/KorovinV05.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/mfcs/KorovinV05

Access to Document

10.1007/11549345_23

Cite this

@inproceedings{90886e6fc356416ab855077dd3733ab2,

title = "Basis of solutions for a system of linear inequalities in integers: Computation and applications",

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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2005.",

author = "D. Chubarov and A. Voronkov",

year = "2005",

doi = "10.1007/11549345_23",

language = "English",

volume = "3618",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "260--270",

editor = "J. Jedrzejowicz and A. Szepietowski",

booktitle = "Lecture Notes in Computer Science|Lect. Notes Comput. Sci.",

address = "United States",

note = "30th International Symposium on Mathematical Foundations of Computer Science 2005, MFCS 2005 ; Conference date: 01-07-2005",

url = "http://dblp.uni-trier.de/db/conf/mfcs/mfcs2005.html#KorovinV05http://dblp.uni-trier.de/rec/bibtex/conf/mfcs/KorovinV05.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/mfcs/KorovinV05",

}

Chubarov, D & Voronkov, A 2005, Basis of solutions for a system of linear inequalities in integers: Computation and applications. in J Jedrzejowicz & A Szepietowski (eds), Lecture Notes in Computer Science|Lect. Notes Comput. Sci.. vol. 3618, Lecture Notes in Computer Science, Springer Nature, pp. 260-270, 30th International Symposium on Mathematical Foundations of Computer Science 2005, MFCS 2005, Gdansk, 1/07/05. https://doi.org/10.1007/11549345_23

Basis of solutions for a system of linear inequalities in integers: Computation and applications. / Chubarov, D.; Voronkov, A.

Lecture Notes in Computer Science|Lect. Notes Comput. Sci.. ed. / J. Jedrzejowicz; A. Szepietowski. Vol. 3618 Springer Nature, 2005. p. 260-270 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Basis of solutions for a system of linear inequalities in integers: Computation and applications

AU - Chubarov, D.

AU - Voronkov, A.

PY - 2005

Y1 - 2005

N2 - 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-Verlag Berlin Heidelberg 2005.

AB - 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-Verlag Berlin Heidelberg 2005.

U2 - 10.1007/11549345_23

DO - 10.1007/11549345_23

M3 - Conference contribution

VL - 3618

T3 - Lecture Notes in Computer Science

SP - 260

EP - 270

BT - Lecture Notes in Computer Science|Lect. Notes Comput. Sci.

A2 - Jedrzejowicz, J.

A2 - Szepietowski, A.

PB - Springer Nature

T2 - 30th International Symposium on Mathematical Foundations of Computer Science 2005, MFCS 2005

Y2 - 1 July 2005

ER -

Basis of solutions for a system of linear inequalities in integers: Computation and applications

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this