Package org.sat4j.minisat.learning

Various learning strategies.

See: Description

Class Summary

Class	Description
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.