Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

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
          Learn clauses with a great number of active variables.
 class FixedLengthLearning
          A learning scheme for learning constraints of size smaller than a given constant.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES