FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2187031771> ?p ?o ?g. }

• W2187031771 endingPage "148" @default.
• W2187031771 startingPage "129" @default.
• W2187031771 abstract "Introduced here is a novel application of Satisfiability (SAT) to the set membership problem with specific focus on efficiently testing whether large sets contain a given element. Such tests can be greatly enhanced via the use of filters, probabilistic algorithms that can quickly decide whether or not a given element is in a given set. This article proposes SAT filters (i.e., filters based on SAT) and their use in the set membership problem. Both the theoretical advantages of SAT filters and experimental results show that this technique yields significant performance improvements over previous techniques. Specifically, a SAT filter is a filter construction that is simple yet efficient in terms of both query time and filter size; i.e., SAT filters asymptotically achieve the information-theoretic limit while providing fast querying. As well, this is the first application that makes use of the random k-SAT phase transition results and may drive research into efficient solvers for this and similar applications." @default.
• W2187031771 created "2016-06-24" @default.
• W2187031771 creator A5017355369 @default.
• W2187031771 creator A5028368896 @default.
• W2187031771 creator A5048411051 @default.
• W2187031771 creator A5054665054 @default.
• W2187031771 creator A5065704741 @default.
• W2187031771 date "2014-07-10" @default.
• W2187031771 modified "2023-09-27" @default.
• W2187031771 title "Satisfiability-based Set Membership Filters" @default.
• W2187031771 cites W1528625750 @default.
• W2187031771 cites W157230443 @default.
• W2187031771 cites W1595409123 @default.
• W2187031771 cites W1703904868 @default.
• W2187031771 cites W1733489975 @default.
• W2187031771 cites W1982531027 @default.
• W2187031771 cites W1993284846 @default.
• W2187031771 cites W2010193278 @default.
• W2187031771 cites W2017127020 @default.
• W2187031771 cites W2022695609 @default.
• W2187031771 cites W2023797161 @default.
• W2187031771 cites W2047619746 @default.
• W2187031771 cites W2069074882 @default.
• W2187031771 cites W2074633331 @default.
• W2187031771 cites W2081869611 @default.
• W2187031771 cites W2097532582 @default.
• W2187031771 cites W2108446739 @default.
• W2187031771 cites W2123845384 @default.
• W2187031771 cites W2136986825 @default.
• W2187031771 cites W2145098470 @default.
• W2187031771 cites W2156660460 @default.
• W2187031771 cites W2166566648 @default.
• W2187031771 cites W2167538128 @default.
• W2187031771 cites W2187188408 @default.
• W2187031771 cites W2191403852 @default.
• W2187031771 cites W2337098149 @default.
• W2187031771 cites W2404266688 @default.
• W2187031771 cites W2570121038 @default.
• W2187031771 cites W2952113391 @default.
• W2187031771 cites W3140660692 @default.
• W2187031771 doi "https://doi.org/10.14288/1.0043912" @default.
• W2187031771 hasPublicationYear "2014" @default.
• W2187031771 type Work @default.
• W2187031771 sameAs 2187031771 @default.
• W2187031771 citedByCount "4" @default.
• W2187031771 countsByYear W21870317712017 @default.
• W2187031771 countsByYear W21870317712019 @default.
• W2187031771 countsByYear W21870317712020 @default.
• W2187031771 countsByYear W21870317712021 @default.
• W2187031771 crossrefType "journal-article" @default.
• W2187031771 hasAuthorship W2187031771A5017355369 @default.
• W2187031771 hasAuthorship W2187031771A5028368896 @default.
• W2187031771 hasAuthorship W2187031771A5048411051 @default.
• W2187031771 hasAuthorship W2187031771A5054665054 @default.
• W2187031771 hasAuthorship W2187031771A5065704741 @default.
• W2187031771 hasConcept C106131492 @default.
• W2187031771 hasConcept C111472728 @default.
• W2187031771 hasConcept C11413529 @default.
• W2187031771 hasConcept C120665830 @default.
• W2187031771 hasConcept C121332964 @default.
• W2187031771 hasConcept C134306372 @default.
• W2187031771 hasConcept C138885662 @default.
• W2187031771 hasConcept C151201525 @default.
• W2187031771 hasConcept C154945302 @default.
• W2187031771 hasConcept C168773769 @default.
• W2187031771 hasConcept C177264268 @default.
• W2187031771 hasConcept C17744445 @default.
• W2187031771 hasConcept C192209626 @default.
• W2187031771 hasConcept C199360897 @default.
• W2187031771 hasConcept C199539241 @default.
• W2187031771 hasConcept C200288055 @default.
• W2187031771 hasConcept C2780586882 @default.
• W2187031771 hasConcept C31972630 @default.
• W2187031771 hasConcept C33923547 @default.
• W2187031771 hasConcept C41008148 @default.
• W2187031771 hasConcept C49937458 @default.
• W2187031771 hasConcept C80444323 @default.
• W2187031771 hasConceptScore W2187031771C106131492 @default.
• W2187031771 hasConceptScore W2187031771C111472728 @default.
• W2187031771 hasConceptScore W2187031771C11413529 @default.
• W2187031771 hasConceptScore W2187031771C120665830 @default.
• W2187031771 hasConceptScore W2187031771C121332964 @default.
• W2187031771 hasConceptScore W2187031771C134306372 @default.
• W2187031771 hasConceptScore W2187031771C138885662 @default.
• W2187031771 hasConceptScore W2187031771C151201525 @default.
• W2187031771 hasConceptScore W2187031771C154945302 @default.
• W2187031771 hasConceptScore W2187031771C168773769 @default.
• W2187031771 hasConceptScore W2187031771C177264268 @default.
• W2187031771 hasConceptScore W2187031771C17744445 @default.
• W2187031771 hasConceptScore W2187031771C192209626 @default.
• W2187031771 hasConceptScore W2187031771C199360897 @default.
• W2187031771 hasConceptScore W2187031771C199539241 @default.
• W2187031771 hasConceptScore W2187031771C200288055 @default.
• W2187031771 hasConceptScore W2187031771C2780586882 @default.
• W2187031771 hasConceptScore W2187031771C31972630 @default.
• W2187031771 hasConceptScore W2187031771C33923547 @default.
• W2187031771 hasConceptScore W2187031771C41008148 @default.
• W2187031771 hasConceptScore W2187031771C49937458 @default.

• next