Contents

SAT filter

Contents

SAT filter

SATフィルタ[Weaver et al., 2012]は確率的データ構造のひとつである。

Reference

WRM+12

Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, and Alden K. Walker. Satisfiability-based Set Membership Filters. Journal on Satisfiability, Boolean Modeling and Computation, 8(3-4):129–148, January 2012. URL: https://content.iospress.com/articles/journal-on-satisfiability-boolean-modeling-and-computation/sat190095 (visited on 2021-03-07).

SAT filter

SATフィルタ[Weaver et al., 2012]は確率的データ構造のひとつである。

Reference

WRM+12

Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, and Alden K. Walker. Satisfiability-based Set Membership Filters. Journal on Satisfiability, Boolean Modeling and Computation, 8(3-4):129–148, January 2012. URL: https://content.iospress.com/articles/journal-on-satisfiability-boolean-modeling-and-computation/sat190095 (visited on 2021-03-07).

previous

Cuckoo filter

next

Graph Thoery