See: Description
| Class | Description |
|---|---|
| NegativeLiteralSelectionStrategy | |
| PhaseCachingAutoEraseStrategy | |
| PhaseInLastLearnedClauseSelectionStrategy |
Keeps record of the phase of a variable in the lastest recorded clause.
|
| PositiveLiteralSelectionStrategy | |
| PureOrder | |
| RandomLiteralSelectionStrategy |
The variable selection strategy randomly picks one phase, either positive or
negative.
|
| RandomWalkDecorator | |
| RSATLastLearnedClausesPhaseSelectionStrategy |
Keeps track of the phase of the latest assignment.
|
| RSATPhaseSelectionStrategy |
Keeps track of the phase of the latest assignment.
|
| SubsetVarOrder | |
| TabuListDecorator |
Uses a tabu list to prevent the solver to
|
| UserFixedPhaseSelectionStrategy |
Selection strategy where the phase selection is decided at init time and is
not updated during the search.
|
| VarOrderHeap |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.