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