| Rule | Partial Assignment | (1) | (2) | (3) | (4) |
|---|---|---|---|---|---|
| Initial | | | | | | | | | |
| Pure Literal | | | | | | | ✅ | |
| Branch | ✅ | ✅ | |||
| Conflict | ✅ | ❌ | ❌ | ✅ | |
| Backtrack | ✅ | ✅ | ✅ | ||
| Unit Clause | ✅ | ✅ | ✅ | ✅ |
Hence satisfying assignment is .
| Rule | Partial Assignment | (1) | (2) | (3) | (4) |
|---|---|---|---|---|---|
| Initial | | | | | | | | | |
| Pure Literal | | | | | | | ✅ | |
| Branch | ✅ | ✅ | |||
| Conflict | ✅ | ❌ | ❌ | ✅ | |
| Backtrack | ✅ | ✅ | ✅ | ||
| Unit Clause | ✅ | ✅ | ✅ | ✅ |
Hence satisfying assignment is .