Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130403783> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2130403783 endingPage "90" @default.
- W2130403783 startingPage "75" @default.
- W2130403783 abstract "We describe the design and implementation of a highly optimized, multithreaded algorithm for the propositional satisfiability problem. The algorithm is based on the Davis-Putnam-Logemann-Loveland sequential algorithm, but includes many of the optimization techniques introduced in recent years. We provide experimental results for the execution of the parallel algorithm on a variety of multiprocessor machines with shared memory architecture. In particular, the detrimental effect of parallel execution on the performance of processor cache is studied." @default.
- W2130403783 created "2016-06-24" @default.
- W2130403783 creator A5039993352 @default.
- W2130403783 creator A5068008369 @default.
- W2130403783 creator A5084956569 @default.
- W2130403783 date "2005-04-01" @default.
- W2130403783 modified "2023-09-25" @default.
- W2130403783 title "Parallel Multithreaded Satisfiability Solver: Design and Implementation" @default.
- W2130403783 cites W1483673511 @default.
- W2130403783 cites W1998417879 @default.
- W2130403783 cites W1999997889 @default.
- W2130403783 cites W2026311529 @default.
- W2130403783 cites W2036265926 @default.
- W2130403783 cites W2057361103 @default.
- W2130403783 cites W2062897452 @default.
- W2130403783 cites W2076373700 @default.
- W2130403783 cites W2092775861 @default.
- W2130403783 cites W2123098314 @default.
- W2130403783 cites W2142785340 @default.
- W2130403783 cites W4250620173 @default.
- W2130403783 doi "https://doi.org/10.1016/j.entcs.2004.10.020" @default.
- W2130403783 hasPublicationYear "2005" @default.
- W2130403783 type Work @default.
- W2130403783 sameAs 2130403783 @default.
- W2130403783 citedByCount "50" @default.
- W2130403783 countsByYear W21304037832012 @default.
- W2130403783 countsByYear W21304037832013 @default.
- W2130403783 countsByYear W21304037832014 @default.
- W2130403783 countsByYear W21304037832015 @default.
- W2130403783 countsByYear W21304037832016 @default.
- W2130403783 countsByYear W21304037832017 @default.
- W2130403783 countsByYear W21304037832018 @default.
- W2130403783 countsByYear W21304037832020 @default.
- W2130403783 crossrefType "journal-article" @default.
- W2130403783 hasAuthorship W2130403783A5039993352 @default.
- W2130403783 hasAuthorship W2130403783A5068008369 @default.
- W2130403783 hasAuthorship W2130403783A5084956569 @default.
- W2130403783 hasBestOaLocation W21304037831 @default.
- W2130403783 hasConcept C12707504 @default.
- W2130403783 hasConcept C134652429 @default.
- W2130403783 hasConcept C136197465 @default.
- W2130403783 hasConcept C138101251 @default.
- W2130403783 hasConcept C143936061 @default.
- W2130403783 hasConcept C154945302 @default.
- W2130403783 hasConcept C168773769 @default.
- W2130403783 hasConcept C173608175 @default.
- W2130403783 hasConcept C199360897 @default.
- W2130403783 hasConcept C201410400 @default.
- W2130403783 hasConcept C2778770139 @default.
- W2130403783 hasConcept C41008148 @default.
- W2130403783 hasConcept C4822641 @default.
- W2130403783 hasConcept C6943359 @default.
- W2130403783 hasConcept C76155785 @default.
- W2130403783 hasConcept C80444323 @default.
- W2130403783 hasConceptScore W2130403783C12707504 @default.
- W2130403783 hasConceptScore W2130403783C134652429 @default.
- W2130403783 hasConceptScore W2130403783C136197465 @default.
- W2130403783 hasConceptScore W2130403783C138101251 @default.
- W2130403783 hasConceptScore W2130403783C143936061 @default.
- W2130403783 hasConceptScore W2130403783C154945302 @default.
- W2130403783 hasConceptScore W2130403783C168773769 @default.
- W2130403783 hasConceptScore W2130403783C173608175 @default.
- W2130403783 hasConceptScore W2130403783C199360897 @default.
- W2130403783 hasConceptScore W2130403783C201410400 @default.
- W2130403783 hasConceptScore W2130403783C2778770139 @default.
- W2130403783 hasConceptScore W2130403783C41008148 @default.
- W2130403783 hasConceptScore W2130403783C4822641 @default.
- W2130403783 hasConceptScore W2130403783C6943359 @default.
- W2130403783 hasConceptScore W2130403783C76155785 @default.
- W2130403783 hasConceptScore W2130403783C80444323 @default.
- W2130403783 hasIssue "3" @default.
- W2130403783 hasLocation W21304037831 @default.
- W2130403783 hasOpenAccess W2130403783 @default.
- W2130403783 hasPrimaryLocation W21304037831 @default.
- W2130403783 hasRelatedWork W1489705897 @default.
- W2130403783 hasRelatedWork W1525693705 @default.
- W2130403783 hasRelatedWork W1559776123 @default.
- W2130403783 hasRelatedWork W2089119454 @default.
- W2130403783 hasRelatedWork W2117014006 @default.
- W2130403783 hasRelatedWork W2130403783 @default.
- W2130403783 hasRelatedWork W2156719232 @default.
- W2130403783 hasRelatedWork W2160874740 @default.
- W2130403783 hasRelatedWork W3102120897 @default.
- W2130403783 hasRelatedWork W2610945229 @default.
- W2130403783 hasVolume "128" @default.
- W2130403783 isParatext "false" @default.
- W2130403783 isRetracted "false" @default.
- W2130403783 magId "2130403783" @default.
- W2130403783 workType "article" @default.