verify.c: export functions for setting and clearing scanning polyhedra
[barvinok.git] / bernstein / README
blobd85d7992c6e30438579dc80c55b2449d08e48802
1 Written by Federico Fernandez and Sven Verdoolaege.
3 See src/main.cpp for an example of how to use the library.
4 See examples/README for how to use the executable.
5 For more information, see
7 @TechReport{CFGV06,
8   author       = {Clauss, P. and Fern\'andez, F. J. and Gabervetsky, D. and Verdoolaege, S.},
9   title        = {Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation},
10   institution  = {Universit\'e Louis Pasteur},
11   number       = {06-04},
12   month        = oct,
13   year         = {2006},
14   type         = {ICPS Research Report},
15   url          = {http://icps.u-strasbg.fr/upload/icps-2006-173.pdf},