Searched refs:strategies (Results 1 - 9 of 9) sorted by relevance

/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsearch.tex210 strategies and parameter settings.
252 of maximum depth N for bookkeeping. Most other strategies of tree
266 by variable and value selection strategies.
343 While with 2 variables there are only 2 variable selection strategies,
346 strategies to choose from.
510 variable-selection strategies:
548 initial more naive strategies.
550 strategies on various problem sizes.
564 \caption{N-Queens with different labeling strategies: Number of backtracks}
H A Dmodelling.tex66 \item {\bf Search} - The choice of search {\em strategies and heuristics} for
H A Dsolversintro.tex212 search heuristics as well as incomplete tree search strategies, applicable
H A Dsetsolver.tex278 Other enumeration strategies can be selected (see the Reference Manual
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dcp_min.pl43 4 strategies implemented:
H A Dqueens.pl43 strategies: label
H A Dbranch_and_bound.pl696 (applies to all strategies). The default value of 1.0 is
702 cost bound) for strategies 'continue' and 'restart' (default 1.0),
954 (default 1.0), applies to all strategies</DD>
958 cost bound) for strategies 'continue' and 'restart' (default 1.0),
/barrelfish-master/usr/eclipseclp/documents/search/
H A Dsearch.tex256 of maximum depth N for bookkeeping. Most other strategies of tree
269 by variable and value selection strategies.
345 While with 2 variables there are only 2 variable selection strategies,
348 strategies to choose from.
504 variable-selection strategies:
550 initial more naive strategies.
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dgfd.tex950 strategies on the other hand always interleave value choices with variable

Completed in 95 milliseconds