}
Abstract:
We present a new elimination method for mixed integer optimization with
linear, quadratic or rational linear objective function and parametric
coefficients. The method combines ideas from [Weispfenning 2,
Weispfenning 3, Shostak] and has significantly better theoretical and
practical complexity than the integer version of the Fourier-Motzkin
elimination method sketched in [Williams, Williams1]. The applicability
of the method is exemplified by some test examples using a preliminary
MAPLE implementation of the algorithms.
Paper itself: not available
If you are interested in a printed edition, send your mail to:
cetindag@fmi.uni-passau.de
Cross links:
Ulrike Peiker, Martin Griebl