Matches in SemOpenAlex for { <https://semopenalex.org/work/W1600869845> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1600869845 endingPage "345" @default.
- W1600869845 startingPage "340" @default.
- W1600869845 abstract "Preprocessing has proven important in enabling efficient Boolean satisfiability (SAT) solving. For many real application scenarios of SAT it is important to be able to extract a full satisfying assignment for original SAT instances from a satisfying assignment for the instances after preprocessing. We show how such full solutions can be efficiently reconstructed from solutions to the conjunctive normal form (CNF) formulas resulting from applying a combination of various CNF preprocessing techniques implemented in the PrecoSAT solver—especially, blocked clause elimination combined with SatElite-style variable elimination and equivalence reasoning." @default.
- W1600869845 created "2016-06-24" @default.
- W1600869845 creator A5081120128 @default.
- W1600869845 creator A5082596567 @default.
- W1600869845 date "2010-01-01" @default.
- W1600869845 modified "2023-09-28" @default.
- W1600869845 title "Reconstructing Solutions after Blocked Clause Elimination" @default.
- W1600869845 cites W1591802374 @default.
- W1600869845 cites W1656268799 @default.
- W1600869845 cites W1950282396 @default.
- W1600869845 cites W2021870295 @default.
- W1600869845 cites W2062897452 @default.
- W1600869845 cites W2135117708 @default.
- W1600869845 doi "https://doi.org/10.1007/978-3-642-14186-7_30" @default.
- W1600869845 hasPublicationYear "2010" @default.
- W1600869845 type Work @default.
- W1600869845 sameAs 1600869845 @default.
- W1600869845 citedByCount "15" @default.
- W1600869845 countsByYear W16008698452012 @default.
- W1600869845 countsByYear W16008698452013 @default.
- W1600869845 countsByYear W16008698452014 @default.
- W1600869845 countsByYear W16008698452015 @default.
- W1600869845 countsByYear W16008698452016 @default.
- W1600869845 countsByYear W16008698452019 @default.
- W1600869845 countsByYear W16008698452020 @default.
- W1600869845 countsByYear W16008698452021 @default.
- W1600869845 countsByYear W16008698452023 @default.
- W1600869845 crossrefType "book-chapter" @default.
- W1600869845 hasAuthorship W1600869845A5081120128 @default.
- W1600869845 hasAuthorship W1600869845A5082596567 @default.
- W1600869845 hasBestOaLocation W16008698452 @default.
- W1600869845 hasConcept C11413529 @default.
- W1600869845 hasConcept C118615104 @default.
- W1600869845 hasConcept C154945302 @default.
- W1600869845 hasConcept C16221470 @default.
- W1600869845 hasConcept C168773769 @default.
- W1600869845 hasConcept C169272836 @default.
- W1600869845 hasConcept C199360897 @default.
- W1600869845 hasConcept C200415742 @default.
- W1600869845 hasConcept C2776214188 @default.
- W1600869845 hasConcept C2778770139 @default.
- W1600869845 hasConcept C2780069185 @default.
- W1600869845 hasConcept C33923547 @default.
- W1600869845 hasConcept C34736171 @default.
- W1600869845 hasConcept C41008148 @default.
- W1600869845 hasConcept C6943359 @default.
- W1600869845 hasConcept C7342684 @default.
- W1600869845 hasConcept C80444323 @default.
- W1600869845 hasConceptScore W1600869845C11413529 @default.
- W1600869845 hasConceptScore W1600869845C118615104 @default.
- W1600869845 hasConceptScore W1600869845C154945302 @default.
- W1600869845 hasConceptScore W1600869845C16221470 @default.
- W1600869845 hasConceptScore W1600869845C168773769 @default.
- W1600869845 hasConceptScore W1600869845C169272836 @default.
- W1600869845 hasConceptScore W1600869845C199360897 @default.
- W1600869845 hasConceptScore W1600869845C200415742 @default.
- W1600869845 hasConceptScore W1600869845C2776214188 @default.
- W1600869845 hasConceptScore W1600869845C2778770139 @default.
- W1600869845 hasConceptScore W1600869845C2780069185 @default.
- W1600869845 hasConceptScore W1600869845C33923547 @default.
- W1600869845 hasConceptScore W1600869845C34736171 @default.
- W1600869845 hasConceptScore W1600869845C41008148 @default.
- W1600869845 hasConceptScore W1600869845C6943359 @default.
- W1600869845 hasConceptScore W1600869845C7342684 @default.
- W1600869845 hasConceptScore W1600869845C80444323 @default.
- W1600869845 hasLocation W16008698451 @default.
- W1600869845 hasLocation W16008698452 @default.
- W1600869845 hasOpenAccess W1600869845 @default.
- W1600869845 hasPrimaryLocation W16008698451 @default.
- W1600869845 hasRelatedWork W1600869845 @default.
- W1600869845 hasRelatedWork W1608133301 @default.
- W1600869845 hasRelatedWork W1656268799 @default.
- W1600869845 hasRelatedWork W178358665 @default.
- W1600869845 hasRelatedWork W2124690755 @default.
- W1600869845 hasRelatedWork W2185821556 @default.
- W1600869845 hasRelatedWork W2215774152 @default.
- W1600869845 hasRelatedWork W2625349360 @default.
- W1600869845 hasRelatedWork W4283643926 @default.
- W1600869845 hasRelatedWork W4385668771 @default.
- W1600869845 isParatext "false" @default.
- W1600869845 isRetracted "false" @default.
- W1600869845 magId "1600869845" @default.
- W1600869845 workType "book-chapter" @default.