- 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.

Sorin Olaru 2002-04-24