Satisfiability-based Set Membership Filters
Theory and Practice of Bloom Filters for Distributed Systems