Package org.sat4j.minisat.uip

Various ways to compute an asserting clause (containing one Unique Implication Point).

See:
          Description

Class Summary
DecisionUIP Decision UIP scheme for building an asserting clause.
FirstUIP FirstUIP scheme introduced in Chaff.
 

Package org.sat4j.minisat.uip Description

Various ways to compute an asserting clause (containing one Unique Implication Point).



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