|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j.minisat.learning | |
|---|---|
| org.sat4j.minisat.learning | Various learning strategies. |
| Classes in org.sat4j.minisat.learning used by org.sat4j.minisat.learning | |
|---|---|
| LimitedLearning
Learn only clauses which size is smaller than a percentage of the number of variables. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||