Package org.sat4j.pb.orders

Various heuristics for the next variable to branch on.

See:
          Description

Interface Summary
IOrderObjective  
 

Class Summary
RandomWalkDecoratorObjective  
VarOrderHeapObjective  
 

Package org.sat4j.pb.orders Description

Various heuristics for the next variable to branch on.



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.