Uses of Class
org.sat4j.minisat.learning.LimitedLearning

Packages that use LimitedLearning

org.sat4j.minisat.learning

Various learning strategies.

Uses of LimitedLearning in org.sat4j.minisat.learning

Subclasses of LimitedLearning in org.sat4j.minisat.learning

class	ActiveLearning<L extends ILits,D extends DataStructureFactory<L>> Learn clauses with a great number of active variables.
class	ClauseOnlyLearning<L extends ILits,D extends DataStructureFactory<L>> The solver only records among all the constraints only the clauses.
class	FixedLengthLearning<L extends ILits,D extends DataStructureFactory<L>> A learning scheme for learning constraints of size smaller than a given constant.
class	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.