next up previous contents
Next: About this document ... Up: Polylib User's Manual Previous: Known problems   Contents


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

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

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

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

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

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

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

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.

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