Satisfiability-based Set Membership Filters
Probability and Computing: Randomized Algorithms and Probabilistic Analysis