Matches in SemOpenAlex for { <https://semopenalex.org/work/W2039027656> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2039027656 abstract "This paper describes the multithreaded MiraXT SAT solver which was designed to take advantage of current and future shared memory multiprocessor systems. The paper highlights design and implementation details that allow the multiple threads to run and cooperate efficiently. Results show that in single threaded mode, MiraXT compares well to other state of the art solvers on industrial problems. In threaded mode, it provides cutting edge performance, as speedup is obtained on both SAT and UNSAT instances." @default.
- W2039027656 created "2016-06-24" @default.
- W2039027656 creator A5021443153 @default.
- W2039027656 creator A5023986090 @default.
- W2039027656 creator A5038861833 @default.
- W2039027656 date "2007-01-01" @default.
- W2039027656 modified "2023-10-14" @default.
- W2039027656 title "Multithreaded SAT Solving" @default.
- W2039027656 cites W1973267383 @default.
- W2039027656 cites W1981726327 @default.
- W2039027656 cites W1998417879 @default.
- W2039027656 cites W2044560939 @default.
- W2039027656 cites W2046612382 @default.
- W2039027656 cites W2057361103 @default.
- W2039027656 cites W2076373700 @default.
- W2039027656 cites W2081612620 @default.
- W2039027656 cites W2092775861 @default.
- W2039027656 cites W2123098314 @default.
- W2039027656 cites W2156376751 @default.
- W2039027656 cites W4247585869 @default.
- W2039027656 doi "https://doi.org/10.1109/aspdac.2007.358108" @default.
- W2039027656 hasPublicationYear "2007" @default.
- W2039027656 type Work @default.
- W2039027656 sameAs 2039027656 @default.
- W2039027656 citedByCount "64" @default.
- W2039027656 countsByYear W20390276562012 @default.
- W2039027656 countsByYear W20390276562013 @default.
- W2039027656 countsByYear W20390276562014 @default.
- W2039027656 countsByYear W20390276562015 @default.
- W2039027656 countsByYear W20390276562017 @default.
- W2039027656 countsByYear W20390276562018 @default.
- W2039027656 crossrefType "proceedings-article" @default.
- W2039027656 hasAuthorship W2039027656A5021443153 @default.
- W2039027656 hasAuthorship W2039027656A5023986090 @default.
- W2039027656 hasAuthorship W2039027656A5038861833 @default.
- W2039027656 hasBestOaLocation W20390276562 @default.
- W2039027656 hasConcept C111919701 @default.
- W2039027656 hasConcept C118524514 @default.
- W2039027656 hasConcept C138101251 @default.
- W2039027656 hasConcept C154945302 @default.
- W2039027656 hasConcept C162307627 @default.
- W2039027656 hasConcept C173608175 @default.
- W2039027656 hasConcept C199360897 @default.
- W2039027656 hasConcept C201410400 @default.
- W2039027656 hasConcept C2778770139 @default.
- W2039027656 hasConcept C41008148 @default.
- W2039027656 hasConcept C4822641 @default.
- W2039027656 hasConcept C48677424 @default.
- W2039027656 hasConcept C68339613 @default.
- W2039027656 hasConceptScore W2039027656C111919701 @default.
- W2039027656 hasConceptScore W2039027656C118524514 @default.
- W2039027656 hasConceptScore W2039027656C138101251 @default.
- W2039027656 hasConceptScore W2039027656C154945302 @default.
- W2039027656 hasConceptScore W2039027656C162307627 @default.
- W2039027656 hasConceptScore W2039027656C173608175 @default.
- W2039027656 hasConceptScore W2039027656C199360897 @default.
- W2039027656 hasConceptScore W2039027656C201410400 @default.
- W2039027656 hasConceptScore W2039027656C2778770139 @default.
- W2039027656 hasConceptScore W2039027656C41008148 @default.
- W2039027656 hasConceptScore W2039027656C4822641 @default.
- W2039027656 hasConceptScore W2039027656C48677424 @default.
- W2039027656 hasConceptScore W2039027656C68339613 @default.
- W2039027656 hasLocation W20390276561 @default.
- W2039027656 hasLocation W20390276562 @default.
- W2039027656 hasOpenAccess W2039027656 @default.
- W2039027656 hasPrimaryLocation W20390276561 @default.
- W2039027656 hasRelatedWork W1982011377 @default.
- W2039027656 hasRelatedWork W2030310580 @default.
- W2039027656 hasRelatedWork W2070950201 @default.
- W2039027656 hasRelatedWork W2093396203 @default.
- W2039027656 hasRelatedWork W2100250245 @default.
- W2039027656 hasRelatedWork W2133693067 @default.
- W2039027656 hasRelatedWork W2530731493 @default.
- W2039027656 hasRelatedWork W2183915858 @default.
- W2039027656 hasRelatedWork W2185397865 @default.
- W2039027656 hasRelatedWork W2621634031 @default.
- W2039027656 isParatext "false" @default.
- W2039027656 isRetracted "false" @default.
- W2039027656 magId "2039027656" @default.
- W2039027656 workType "article" @default.