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  
RSATPhaseSelectionStrategy Keeps track of the phase of the latest assignment.
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 © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.