Lines Matching refs:rational
109 For rational sets, the obvious choice would be to compute the
110 (rational) convex hull. For integer sets, the obvious choice
170 This method is not based on Feautrier's algorithm, but on rational
204 During this process, some coefficients may become rational.
271 non-integral coordinates. If so, some rational solutions
375 i.e., problems with rational solutions, but no integer solutions.
650 that it is beneficial to add cuts for \emph{all} rational coordinates
664 and if (rationally) non-empty, any rational point
1112 rational relaxation of $\Delta_i(\vec s)$, i.e.,
1116 generate the rational cone
Indexes created Sun Aug 30 00:27:18 UTC 2026