| Interface | Description |
|---|---|
| DPLL |
Interface describing main API of the DPLL algorithm as described in Figure
7.17 but not how it should be implemented.
|
| SATSolver |
Basic interface to a SAT Solver.
|
| Class | Description |
|---|---|
| DPLLSatisfiable |
Artificial Intelligence A Modern Approach (3rd Edition): page 261.
|
| OptimizedDPLL | |
| PLFCEntails |
Artificial Intelligence A Modern Approach (3rd Edition): page 258.
|
| PLResolution |
Artificial Intelligence A Modern Approach (3rd Edition): page 255.
|
| SATPlan |
Artificial Intelligence A Modern Approach (3rd Edition): page 261.
|
| TTEntails |
Artificial Intelligence A Modern Approach (3rd Edition): Figure 7.10, page
248.
|
| WalkSAT |
Artificial Intelligence A Modern Approach (3rd Edition): page 263.
|