Matches in SemOpenAlex for { <https://semopenalex.org/work/W104044527> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W104044527 endingPage "332" @default.
- W104044527 startingPage "317" @default.
- W104044527 abstract "Blocked clause elimination is a powerful technique in SAT solving. In recent work, it has been shown that it is possible to decompose any propositional formula into two subsets (blocked sets) such that both can be solved by blocked clause elimination. We extend this work in several ways. First, we prove new theoretical properties of blocked sets. We then present additional and improved ways to efficiently solve blocked sets. Further, we propose novel decomposition algorithms for faster decomposition or which produce blocked sets with desirable attributes. We use decompositions to reencode CNF formulas and to obtain circuits, such as AIGs, which can then be simplified by algorithms from circuit synthesis and encoded back to CNF. Our experiments demonstrate that these techniques can increase the performance of the SAT solver Lingeling on hard to solve application benchmarks." @default.
- W104044527 created "2016-06-24" @default.
- W104044527 creator A5021197854 @default.
- W104044527 creator A5025921874 @default.
- W104044527 creator A5047195462 @default.
- W104044527 creator A5082596567 @default.
- W104044527 date "2014-01-01" @default.
- W104044527 modified "2023-10-05" @default.
- W104044527 title "Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)" @default.
- W104044527 cites W1506255457 @default.
- W104044527 cites W1528837436 @default.
- W104044527 cites W1656268799 @default.
- W104044527 cites W167199924 @default.
- W104044527 cites W186405298 @default.
- W104044527 cites W2021870295 @default.
- W104044527 cites W2038777323 @default.
- W104044527 cites W2140132043 @default.
- W104044527 cites W2913257024 @default.
- W104044527 cites W3143290261 @default.
- W104044527 doi "https://doi.org/10.1007/978-3-319-09284-3_24" @default.
- W104044527 hasPublicationYear "2014" @default.
- W104044527 type Work @default.
- W104044527 sameAs 104044527 @default.
- W104044527 citedByCount "10" @default.
- W104044527 countsByYear W1040445272015 @default.
- W104044527 countsByYear W1040445272016 @default.
- W104044527 countsByYear W1040445272017 @default.
- W104044527 countsByYear W1040445272019 @default.
- W104044527 countsByYear W1040445272021 @default.
- W104044527 countsByYear W1040445272023 @default.
- W104044527 crossrefType "book-chapter" @default.
- W104044527 hasAuthorship W104044527A5021197854 @default.
- W104044527 hasAuthorship W104044527A5025921874 @default.
- W104044527 hasAuthorship W104044527A5047195462 @default.
- W104044527 hasAuthorship W104044527A5082596567 @default.
- W104044527 hasBestOaLocation W1040445272 @default.
- W104044527 hasConcept C102993220 @default.
- W104044527 hasConcept C11413529 @default.
- W104044527 hasConcept C124681953 @default.
- W104044527 hasConcept C127413603 @default.
- W104044527 hasConcept C136264566 @default.
- W104044527 hasConcept C14523651 @default.
- W104044527 hasConcept C162324750 @default.
- W104044527 hasConcept C168773769 @default.
- W104044527 hasConcept C18762648 @default.
- W104044527 hasConcept C18903297 @default.
- W104044527 hasConcept C199360897 @default.
- W104044527 hasConcept C2778770139 @default.
- W104044527 hasConcept C33203268 @default.
- W104044527 hasConcept C41008148 @default.
- W104044527 hasConcept C6943359 @default.
- W104044527 hasConcept C74640108 @default.
- W104044527 hasConcept C78519656 @default.
- W104044527 hasConcept C80444323 @default.
- W104044527 hasConcept C86803240 @default.
- W104044527 hasConcept C90329073 @default.
- W104044527 hasConceptScore W104044527C102993220 @default.
- W104044527 hasConceptScore W104044527C11413529 @default.
- W104044527 hasConceptScore W104044527C124681953 @default.
- W104044527 hasConceptScore W104044527C127413603 @default.
- W104044527 hasConceptScore W104044527C136264566 @default.
- W104044527 hasConceptScore W104044527C14523651 @default.
- W104044527 hasConceptScore W104044527C162324750 @default.
- W104044527 hasConceptScore W104044527C168773769 @default.
- W104044527 hasConceptScore W104044527C18762648 @default.
- W104044527 hasConceptScore W104044527C18903297 @default.
- W104044527 hasConceptScore W104044527C199360897 @default.
- W104044527 hasConceptScore W104044527C2778770139 @default.
- W104044527 hasConceptScore W104044527C33203268 @default.
- W104044527 hasConceptScore W104044527C41008148 @default.
- W104044527 hasConceptScore W104044527C6943359 @default.
- W104044527 hasConceptScore W104044527C74640108 @default.
- W104044527 hasConceptScore W104044527C78519656 @default.
- W104044527 hasConceptScore W104044527C80444323 @default.
- W104044527 hasConceptScore W104044527C86803240 @default.
- W104044527 hasConceptScore W104044527C90329073 @default.
- W104044527 hasLocation W1040445271 @default.
- W104044527 hasLocation W1040445272 @default.
- W104044527 hasOpenAccess W104044527 @default.
- W104044527 hasPrimaryLocation W1040445271 @default.
- W104044527 hasRelatedWork W152362803 @default.
- W104044527 hasRelatedWork W2115480761 @default.
- W104044527 hasRelatedWork W2408080066 @default.
- W104044527 hasRelatedWork W2597100317 @default.
- W104044527 hasRelatedWork W2890512026 @default.
- W104044527 hasRelatedWork W2955759369 @default.
- W104044527 hasRelatedWork W2979612917 @default.
- W104044527 hasRelatedWork W2998265132 @default.
- W104044527 hasRelatedWork W4290647776 @default.
- W104044527 hasRelatedWork W4313407580 @default.
- W104044527 isParatext "false" @default.
- W104044527 isRetracted "false" @default.
- W104044527 magId "104044527" @default.
- W104044527 workType "book-chapter" @default.