8. The method of claim 7 further comprising, configuring the binary decision diagram with order zero corresponding to a most significant bit.
7. The method of claim 6 wherein the formula representing the set of characters is represented by a binary decision diagram, and wherein performing the random walk comprises traversing the binary decision diagram.