Lines Matching refs:incremental

187 as that used by its incremental LP solver based on the \emph{primal}
1804 \label{s:incremental}
1815 \label{eq:transitive:incremental}
1825 closure in \eqref{eq:transitive:incremental} be representable
1827 If this condition holds, then by using \eqref{eq:transitive:incremental},
1847 If not, then the incremental approach cannot be applied for
1851 in \eqref{eq:transitive:incremental}, $D$ should be chosen
1879 then we can refine \eqref{eq:transitive:incremental} to
1961 It should be noted that if we want the result of the incremental
1964 If, say, the second transitive closure in \eqref{eq:transitive:incremental}
2019 apply the incremental technique from the same paper,
2020 which is explained in more detail in \autoref{s:incremental}.