Efficient set-membership filters and dictionaries based on SAT

3 points | by keepamovin 2 days ago