[PPL-devel] [GIT] ppl/w3ppl(master): Added FeautrierCB07.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: c66106ef02467bf59d53ea65b3a1204201d28175
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c66106ef02467bf59d53ea65b3a1204201d28175

Author: Roberto Bagnara <bagnara at 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."
 }
 
+ at 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}",