New sample space
l
Normalize each
nonzero row to one
l
So sum of nonzeros
is desired value
l
Goal:
estimate
average nonzero
l
Method: sample
random nonzeros
Clauses
1/3
1/3
0
1/3
0
0
0
0
0
1
0
0
0
1/2
0
1/2