Lines Matching defs:Integer
110 (rational) convex hull. For integer sets, the obvious choice
111 would be the integer hull.
112 However, {\tt isl} currently does not support an integer hull operation
117 Usually, it is not required to compute the exact integer hull,
146 with $\vec K_i$ the (component-wise) smallest non-negative integer vectors
154 \section{Parametric Integer Programming}
158 Parametric integer programming \parencite{Feautrier88parametric}
167 Parametric integer programming was first implemented in \texttt{PipLib}.
168 An alternative method for parametric integer programming
173 non-parametric integer programming problems.
375 i.e., problems with rational solutions, but no integer solutions.
380 check for implicit equalities among the integer points by computing
381 the integer affine hull. The algorithm used is the same as that
506 it is currently not yet used during parametric integer programming.
514 corresponding to integer divisions. Each leaf of the tree prescribes
521 The result of a parametric integer programming problem is then also
527 want to solve parametric integer programming problems, we would like
557 This sign can be determined by solving two integer linear feasibility
561 any integer linear feasibility solver could be used, but the {\tt PipLib}
572 A common feature of both integer linear feasibility solvers is that
592 When an extra integer division is added to the context,
594 witnesses can easily be computed by evaluating the integer division.
631 is always an integer point and that this point may also satisfy
648 worked on a parametric integer programming implementation
665 in the set can be rounded up to yield an integer point in the context.
675 introduction of many integer divisions. Within a given context,
676 some of these integer divisions may be equal to each other, even
680 each time a new integer division is added. The algorithm used
683 integer feasibility checks on that part of the context outside
688 Any equality found in this way that expresses an integer division
689 as an \emph{integer} affine combination of other variables is
691 integer division.
833 See \textcite{Verdoolaege2015impact} for details on integer set coalescing.
1114 has integer vertices, then the approximation is exact, i.e.,
1989 $\vec M$ are constant integer vectors. The elements of $\vec U$
Indexes created Wed Mar 04 05:31:52 UTC 2026