Selection of a value for dynamic backtracking.
It is based on a weighted sum of several criteria.
This IFS solver value selection heuristics is to be used only in case of
dynamic backtracking and it has the following parameters:
Related Solver Parameters
Parameter |
Type |
Comment |
General.MPP |
Boolean |
Minimal Perturbation Problem |
Value.MPPLimit |
Integer |
Limit on the number of perturbations (only in case of MPP, i.e., when
General.MPP=true). MPP limit is decreased when a complete solution is found.
If set to -1, it is no used |
Value.InitialSelectionProb |
Double |
Probability of selection of initial value (only in case of MPP) |
Value.WeightDeltaInitialAssignments |
Double |
Weight of difference in the number of assignments of initial values in
case of selection of the value(only in case of MPP) |
Value.RandomWalkProb |
Double |
Probability of random selection of a good value |
Value.WeightNrAssignments |
Double |
Weight of the number of previous assignments of the value |
Value.WeightValue |
Double |
Weight of the value itself (e.g., for minCSP) |