Lines Matching refs:computing
161 and in computing a unique representation for existentially quantified
324 Maximization problems can be handled in a similar way by computing
380 check for implicit equalities among the integer points by computing
383 Computing the affine hull is fairly expensive, but it can
681 for computing this affine hull is that of \textcite{Karr1976affine},
884 For computing an approximation of the transitive closure of $R$,
908 \subsection{Computing an Approximation of $R^k$}
1426 then the accuracy of the approximation may be improved by computing
1639 By computing the power of $R_3$ and $R_1 \cup R_2$ separately
1992 Such an overapproximation can be obtained by computing strides,
2009 In their algorithm for computing lower bounds, the authors
2023 i.e., by computing
Indexes created Mon May 04 00:23:20 UTC 2026