Package org.sat4j.minisat.learning

Various learning strategies.

See:
          Description

Class Summary
ActiveLearning<D extends DataStructureFactory> Learn clauses with a great number of active variables.
ClauseOnlyLearning<D extends DataStructureFactory> The solver only records among all the constraints only the clauses.
FixedLengthLearning<D extends DataStructureFactory> A learning scheme for learning constraints of size smaller than a given constant.
LimitedLearning<D extends DataStructureFactory> Learn only clauses which size is smaller than a percentage of the number of variables.
MiniSATLearning<D extends DataStructureFactory> MiniSAT learning scheme.
NoLearningButHeuristics<D extends DataStructureFactory> Allows MiniSAT to do backjumping without learning.
NoLearningNoHeuristics<D extends DataStructureFactory> Allows MiniSAT to do backjumping without learning.
PercentLengthLearning<D extends DataStructureFactory> Selects the constraints to learn according to its length as a percentage of the total number of variables in the solver universe.
 

Package org.sat4j.minisat.learning Description

Various learning strategies.



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