Package org.sat4j.minisat.learning

Various learning strategies.

See:
Description

Class Summary

ActiveLearning<L extends ILits>	Learn clauses with a great number of active variables.
ClauseOnlyLearning<L extends ILits>
FixedLengthLearning<L extends ILits>	A learning scheme for learning constraints of size smaller than a given constant.
LimitedLearning<L extends ILits>	Learn only clauses which size is smaller than a percentage of the number of variables.
MiniSATLearning<L extends ILits>	MiniSAT learning scheme.
NoLearningButHeuristics<L extends ILits>	Allows MiniSAT to do backjumping without learning.
NoLearningNoHeuristics<L extends ILits>	Allows MiniSAT to do backjumping without learning.
PercentLengthLearning<L extends ILits>

Package org.sat4j.minisat.learning Description

Various learning strategies.