Satisfiability-based Set Membership Filters
Sean Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden Walker · Journal on Satisfiability Boolean Modeling and Computation · 2014
Introduced here is a novel application of Satisfiability (SAT) to the set membership problem with specific focus on efficiently testing whether large sets contain a given element. Such tests can be greatly enhanced via the use of filters , probabilis