|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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>
Learn clauses with a great number of active variables. |
class |
ClauseOnlyLearning<L extends ILits>
|
class |
FixedLengthLearning<L extends ILits>
A learning scheme for learning constraints of size smaller than a given constant. |
class |
PercentLengthLearning<L extends ILits>
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||