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