MIT
108
Sampling Nonzeros
lWe know number of nonzeros/column
»If
satisfy given clause, all variables in clause must be true
»All
other variables unconstrained
lEstimate average
by random sampling
»Know
number of nonzeros/column
»So
can pick random column
»Then
pick random true-for-column assignment