| Satisfaction Matrix |
| Clauses |
| 1 |
| 1 |
| 0 |
| 1 |
| 0 |
| 0 |
| 0 |
| 0 |
| 3 nonzero rows |
| 0 |
| 1 |
| 0 |
| 0 |
| 1 |
| 0 |
| 1 |
| 0 |
|
|
|
| Randomly
sampling rows won’t work |
||
| Might be too
few nonzero rows |
||
