Satisfiability-based set membership filters
From MaRDI portal
Recommendations
Cited in
(6)- XOR-satisfiability set membership filters
- Hash-based preprocessing and inprocessing techniques in SAT solvers
- \(\boldsymbol{borealis}\) -- a generalized global update algorithm for Boolean optimization problems
- Constructing SAT filters with a quantum annealer
- scientific article; zbMATH DE number 1140683 (Why is no real title available?)
- IASCAR: incremental answer set counting by anytime refinement
This page was built for publication: Satisfiability-based set membership filters
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3194805)