Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288726470> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4288726470 abstract "We give a first account of our new parallel SAT solver Gimsatul. Its key feature is to share clauses physically in memory instead of copying them, which is the method of other state-of-the-art multi-threaded SAT solvers to exchange clauses logically. Our approach keeps information about which literals are watched in a clause local to a solving thread but shares the actual immutable literals of a clause globally among all solving threads. This design gives quite remarkable parallel scalability, allows aggressive clause sharing while keeping memory usage low and produces more compact proofs." @default.
- W4288726470 created "2022-07-30" @default.
- W4288726470 creator A5082596567 @default.
- W4288726470 creator A5086520801 @default.
- W4288726470 date "2022-07-27" @default.
- W4288726470 modified "2023-09-24" @default.
- W4288726470 title "Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses" @default.
- W4288726470 doi "https://doi.org/10.48550/arxiv.2207.13577" @default.
- W4288726470 hasPublicationYear "2022" @default.
- W4288726470 type Work @default.
- W4288726470 citedByCount "1" @default.
- W4288726470 countsByYear W42887264702023 @default.
- W4288726470 crossrefType "posted-content" @default.
- W4288726470 hasAuthorship W4288726470A5082596567 @default.
- W4288726470 hasAuthorship W4288726470A5086520801 @default.
- W4288726470 hasBestOaLocation W42887264701 @default.
- W4288726470 hasConcept C108710211 @default.
- W4288726470 hasConcept C138101251 @default.
- W4288726470 hasConcept C173608175 @default.
- W4288726470 hasConcept C17744445 @default.
- W4288726470 hasConcept C199360897 @default.
- W4288726470 hasConcept C199539241 @default.
- W4288726470 hasConcept C2524010 @default.
- W4288726470 hasConcept C26517878 @default.
- W4288726470 hasConcept C2779151265 @default.
- W4288726470 hasConcept C33923547 @default.
- W4288726470 hasConcept C38652104 @default.
- W4288726470 hasConcept C41008148 @default.
- W4288726470 hasConcept C48044578 @default.
- W4288726470 hasConcept C6943359 @default.
- W4288726470 hasConcept C77088390 @default.
- W4288726470 hasConcept C80444323 @default.
- W4288726470 hasConcept C94375191 @default.
- W4288726470 hasConceptScore W4288726470C108710211 @default.
- W4288726470 hasConceptScore W4288726470C138101251 @default.
- W4288726470 hasConceptScore W4288726470C173608175 @default.
- W4288726470 hasConceptScore W4288726470C17744445 @default.
- W4288726470 hasConceptScore W4288726470C199360897 @default.
- W4288726470 hasConceptScore W4288726470C199539241 @default.
- W4288726470 hasConceptScore W4288726470C2524010 @default.
- W4288726470 hasConceptScore W4288726470C26517878 @default.
- W4288726470 hasConceptScore W4288726470C2779151265 @default.
- W4288726470 hasConceptScore W4288726470C33923547 @default.
- W4288726470 hasConceptScore W4288726470C38652104 @default.
- W4288726470 hasConceptScore W4288726470C41008148 @default.
- W4288726470 hasConceptScore W4288726470C48044578 @default.
- W4288726470 hasConceptScore W4288726470C6943359 @default.
- W4288726470 hasConceptScore W4288726470C77088390 @default.
- W4288726470 hasConceptScore W4288726470C80444323 @default.
- W4288726470 hasConceptScore W4288726470C94375191 @default.
- W4288726470 hasLocation W42887264701 @default.
- W4288726470 hasOpenAccess W4288726470 @default.
- W4288726470 hasPrimaryLocation W42887264701 @default.
- W4288726470 hasRelatedWork W13271837 @default.
- W4288726470 hasRelatedWork W13640671 @default.
- W4288726470 hasRelatedWork W13752840 @default.
- W4288726470 hasRelatedWork W1626216 @default.
- W4288726470 hasRelatedWork W1666081 @default.
- W4288726470 hasRelatedWork W2288352 @default.
- W4288726470 hasRelatedWork W2759759 @default.
- W4288726470 hasRelatedWork W352166 @default.
- W4288726470 hasRelatedWork W7433698 @default.
- W4288726470 hasRelatedWork W7043479 @default.
- W4288726470 isParatext "false" @default.
- W4288726470 isRetracted "false" @default.
- W4288726470 workType "article" @default.