MIT
115
Combine
l
For large
FAIL(
p
)
, naïve Monte Carlo
l
For small
FAIL(
p
)
, RCA/DNF counting
l
Balance:
e
-approx. in
O
(
mn
3.5
/
e
2
)
time
l
Implementations show practical for
hundreds of nodes
l
Again, no way to verify correct
