Package org.sat4j.minisat.orders

Various heuristics to select the next variable to branch on.

See:
          Description

Class Summary
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  
 

Package org.sat4j.minisat.orders Description

Various heuristics to select the next variable to branch on.



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.