Satisfiability-based Set Membership Filters.

Sean A. WeaverKatrina J. RayVictor W. MarekAndrew J. MayerAlden Walker
Published in: J. Satisf. Boolean Model. Comput. (2014)
Keyphrases
  • data sets
  • small number
  • np hard