|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| DecisionUIP | Decision UIP scheme for building an asserting clause. |
| FirstUIP | FirstUIP scheme introduced in Chaff. |
Various ways to compute an asserting clause (containing one Unique Implication Point).
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||