Bibliography

SCH86

A. Schrijver, Theory of linear and integer programming, John Wiley and Sons, NY, 1986

Wil93

D.K. Wilde, A library for doing polyhedral operations, Technical Report 785, IRISA, Rennes, France, 1993

NRi00

S. P. K. Nookala and T. Risset A library for Z-Polyhedral operations, Technical Report 1330, IRISA, Rennes, France, 2000

QRR97

P. Quinton, S. Rajopadhye and T. Risset On manipulating Z-Polyhedra Technical Report 1016, IRISA, Rennes, France, 1997

Loe99

V. Loechner, A library for Manipulating Parametrized Polyhedra ICPS RR, March 1999

Che65

N.V. Chernikova, An algorithm for finding a general formula for the non-negative solutions of linear inequalities U.S.S.R. Computational Mathematics and Mathematical Physics, 5(2):228-133, 1965

FQ88

F. Fernandes and P. Quinton. Extemsion of Chernikova's Alghorithm for Solving General Mixed Linear Programming Problems. Technical Report 437, IRISA, Rennes, France, 1988

Le 92

H. Le Verge, A note on Chernikova's Algorithm, Technical Report 635, IRISA, Rennes, France, 1992

CH78

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 84-96, Tucson, Arizona, 1978. ACM Press.

MRTT

T. S. Motzkin and H. Raiffa and G. L. Thompson and R. M. Thrall, The double description method. In H. W. Kuhn and A. W. Tucker, editors, Contributions to the Theory of Games - Volume II, number 28 in Annals of Mathematics Studies, pages 51-73. Princeton University Press, Princeton, New Jersey, 1953.