
Module: ppl/w3ppl Branch: master Commit: c66106ef02467bf59d53ea65b3a1204201d28175 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c66106ef024...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Feb 18 10:21:20 2010 +0100
Added FeautrierCB07.
---
htdocs/Documentation/ppl.bib | 15 +++++++++++++++ 1 files changed, 15 insertions(+), 0 deletions(-)
diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 05364bd..ee137a7 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -1412,6 +1412,21 @@ an estimate of its complexity." }
+@Manual{FeautrierCB07, + Author = "P. Feautrier and J.-F. Collard and C. Bastoul", + Title = "{PIP/PipLib}: A Solver for Parametric Integer Programming Problems", + Edition = "5.0", + Note = "Distributed with {PIP/PipLib} 1.4.0", + Month = jul, + Year = 2007, + Abstract = "This manual is for PIP and PipLib version 1.4.0, a + software which solves Parametric Integer Programming + problems. That is, PIP finds the lexicographic minimum + of the set of integer points which lie inside a convex + polyhedron, when that polyhedron depends linearly on one + or more integral parameters." +} + @Misc{Fukuda98, Author = "K. Fukuda", Title = "Polyhedral Computation {FAQ}",