Uses of Interface
org.sat4j.minisat.core.LearningStrategy

Packages that use LearningStrategy

org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.learning	Various learning strategies.

Uses of LearningStrategy in org.sat4j.minisat.constraints.pb

Constructors in org.sat4j.minisat.constraints.pb with parameters of type LearningStrategy

PBSolver(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)

PBSolverCard(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)

PBSolverClause(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)

PBSolverWithImpliedClause(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)

Uses of LearningStrategy in org.sat4j.minisat.core

Constructors in org.sat4j.minisat.core with parameters of type LearningStrategy

Solver(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)
creates a Solver without LearningListener.

Solver(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, SearchParams params, IOrder order)

Uses of LearningStrategy in org.sat4j.minisat.learning

Classes in org.sat4j.minisat.learning that implement LearningStrategy

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