Satisfiability-based set membership filters

MaRDI QIDQ3194805zbMATH OpenFDO

Authors Sean A. Weaver, Katrina J. Ray, Wiktor Marek, Andrew Mayer, Alden Walker

Publication date 20 October 2015

zbMATH Keywords

filtersrandom \(k\)-SATsatisfiabilityset membership

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• XOR-satisfiability set membership filters
• Constructing SAT filters with a quantum annealer
• Anatomy and empirical evaluation of modern SAT solvers
• scientific article; zbMATH DE number 1304346
• scientific article; zbMATH DE number 828719

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)