Probabilistic Approximate DNF volume counting

A cool method to approximately count volume using the power of randomization. It's a pretty simple algorithm, each step being trivial on its own, yet it produces a surprising good algorithm for a rather complicated problem.