Package org.sat4j.minisat.learning

Various learning strategies.

See:
Description

Class Summary

ActiveLearning<L extends ILits,D extends DataStructureFactory<L>>	Learn clauses with a great number of active variables.
ClauseOnlyLearning<L extends ILits,D extends DataStructureFactory<L>>	The solver only records among all the constraints only the clauses.
FixedLengthLearning<L extends ILits,D extends DataStructureFactory<L>>	A learning scheme for learning constraints of size smaller than a given constant.
LimitedLearning<L extends ILits,D extends DataStructureFactory<L>>	Learn only clauses which size is smaller than a percentage of the number of variables.
MiniSATLearning<L extends ILits,D extends DataStructureFactory<L>>	MiniSAT learning scheme.
NoLearningButHeuristics<L extends ILits,D extends DataStructureFactory<L>>	Allows MiniSAT to do backjumping without learning.
NoLearningNoHeuristics<L extends ILits,D extends DataStructureFactory<L>>	Allows MiniSAT to do backjumping without learning.
PercentLengthLearning<L extends ILits,D extends DataStructureFactory<L>>	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.