Matches in SemOpenAlex for { <https://semopenalex.org/work/W102778908> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W102778908 abstract "Parallelization of unit propagation in SAT solvers is a compelling way of obtaining an efficient parallel decision procedure for the propositional satisfiability problem. However, due to the P-completeness of unit propagation, it is challenging to achieve good efficiency in practice. In this article, we present two methods for unit propagation on multi-core systems and their implementation. We throughly evaluate these techniques by comparison to a simulation that estimates a baseline efficiency and by experimental evaluation of an implementation on competition benchmarks. We thereby demonstrate that achieving a speed-up linear in the number of cores is indeed challenging in practice, but also that unit propagation on multi-core systems is feasible in practice." @default.
- W102778908 created "2016-06-24" @default.
- W102778908 creator A5016596256 @default.
- W102778908 creator A5077642459 @default.
- W102778908 date "2012-05-01" @default.
- W102778908 modified "2023-09-27" @default.
- W102778908 title "Approaches for Multi-Core Propagation in Clause Learning Satisfiability Solvers" @default.
- W102778908 cites W1518705996 @default.
- W102778908 cites W1582243294 @default.
- W102778908 cites W1594033426 @default.
- W102778908 cites W1981393723 @default.
- W102778908 cites W2103406309 @default.
- W102778908 cites W2142785340 @default.
- W102778908 cites W2155815531 @default.
- W102778908 cites W2158501579 @default.
- W102778908 cites W3164587034 @default.
- W102778908 hasPublicationYear "2012" @default.
- W102778908 type Work @default.
- W102778908 sameAs 102778908 @default.
- W102778908 citedByCount "1" @default.
- W102778908 countsByYear W1027789082018 @default.
- W102778908 crossrefType "journal-article" @default.
- W102778908 hasAuthorship W102778908A5016596256 @default.
- W102778908 hasAuthorship W102778908A5077642459 @default.
- W102778908 hasConcept C11413529 @default.
- W102778908 hasConcept C122637931 @default.
- W102778908 hasConcept C123614077 @default.
- W102778908 hasConcept C126255220 @default.
- W102778908 hasConcept C134306372 @default.
- W102778908 hasConcept C145420912 @default.
- W102778908 hasConcept C168773769 @default.
- W102778908 hasConcept C17231256 @default.
- W102778908 hasConcept C173608175 @default.
- W102778908 hasConcept C2164484 @default.
- W102778908 hasConcept C33923547 @default.
- W102778908 hasConcept C41008148 @default.
- W102778908 hasConcept C6943359 @default.
- W102778908 hasConcept C76155785 @default.
- W102778908 hasConcept C78766204 @default.
- W102778908 hasConcept C80444323 @default.
- W102778908 hasConceptScore W102778908C11413529 @default.
- W102778908 hasConceptScore W102778908C122637931 @default.
- W102778908 hasConceptScore W102778908C123614077 @default.
- W102778908 hasConceptScore W102778908C126255220 @default.
- W102778908 hasConceptScore W102778908C134306372 @default.
- W102778908 hasConceptScore W102778908C145420912 @default.
- W102778908 hasConceptScore W102778908C168773769 @default.
- W102778908 hasConceptScore W102778908C17231256 @default.
- W102778908 hasConceptScore W102778908C173608175 @default.
- W102778908 hasConceptScore W102778908C2164484 @default.
- W102778908 hasConceptScore W102778908C33923547 @default.
- W102778908 hasConceptScore W102778908C41008148 @default.
- W102778908 hasConceptScore W102778908C6943359 @default.
- W102778908 hasConceptScore W102778908C76155785 @default.
- W102778908 hasConceptScore W102778908C78766204 @default.
- W102778908 hasConceptScore W102778908C80444323 @default.
- W102778908 hasLocation W1027789081 @default.
- W102778908 hasOpenAccess W102778908 @default.
- W102778908 hasPrimaryLocation W1027789081 @default.
- W102778908 hasRelatedWork W146765414 @default.
- W102778908 hasRelatedWork W1489411336 @default.
- W102778908 hasRelatedWork W1492439953 @default.
- W102778908 hasRelatedWork W1540443495 @default.
- W102778908 hasRelatedWork W1557679342 @default.
- W102778908 hasRelatedWork W1557975422 @default.
- W102778908 hasRelatedWork W1559793414 @default.
- W102778908 hasRelatedWork W1568918982 @default.
- W102778908 hasRelatedWork W158377519 @default.
- W102778908 hasRelatedWork W1600508047 @default.
- W102778908 hasRelatedWork W1607919398 @default.
- W102778908 hasRelatedWork W1984883720 @default.
- W102778908 hasRelatedWork W1990083896 @default.
- W102778908 hasRelatedWork W2080046595 @default.
- W102778908 hasRelatedWork W2085301456 @default.
- W102778908 hasRelatedWork W2156719232 @default.
- W102778908 hasRelatedWork W2533719471 @default.
- W102778908 hasRelatedWork W2604674395 @default.
- W102778908 hasRelatedWork W2900183601 @default.
- W102778908 hasRelatedWork W2125027082 @default.
- W102778908 isParatext "false" @default.
- W102778908 isRetracted "false" @default.
- W102778908 magId "102778908" @default.
- W102778908 workType "article" @default.