Matches in SemOpenAlex for { <https://semopenalex.org/work/W1557088246> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1557088246 abstract "We present a new and more powerful variant of our distributed SAT procedure for microchip PIC microcontrollers. The algorithm is an adaption of the state-of-the-art solver CHAFF optimised for the limited resources of the microchip processors. It contains features of modern SAT engines like conflict-driven learning and nonchronological backtracking as well as an efficient work stealing method to run several processors in parallel. The underlying hardware environment is a special multiprocessor system based on a PC ISA slot card holding up to 9 PIC microcontrollers. Thereby the communication topology between the computing units can be reconfigured during runtime. In this work we focus on what is sometimes called lemma exchange in the literature: the possibility to exchange useful information (conflict clauses / lemmas) between processors working on different parts of the search tree of the same problem instance. Besides technical aspects we also analyse the speedup obtained by lemma exchange and describe the effects observed during our experiments." @default.
- W1557088246 created "2016-06-24" @default.
- W1557088246 creator A5023986090 @default.
- W1557088246 creator A5038861833 @default.
- W1557088246 date "2005-01-01" @default.
- W1557088246 modified "2023-09-25" @default.
- W1557088246 title "Lemma exchange in a microcontroller based parallel SAT solver" @default.
- W1557088246 cites W1511155470 @default.
- W1557088246 cites W191460610 @default.
- W1557088246 cites W2046612382 @default.
- W1557088246 cites W2048051309 @default.
- W1557088246 cites W2057361103 @default.
- W1557088246 cites W2062897452 @default.
- W1557088246 cites W2076373700 @default.
- W1557088246 cites W2092775861 @default.
- W1557088246 cites W2096307462 @default.
- W1557088246 cites W2116270555 @default.
- W1557088246 cites W2123098314 @default.
- W1557088246 cites W2142408995 @default.
- W1557088246 cites W2142785340 @default.
- W1557088246 cites W2159503942 @default.
- W1557088246 cites W3045969830 @default.
- W1557088246 cites W89476133 @default.
- W1557088246 doi "https://doi.org/10.1109/isvlsi.2005.47" @default.
- W1557088246 hasPublicationYear "2005" @default.
- W1557088246 type Work @default.
- W1557088246 sameAs 1557088246 @default.
- W1557088246 citedByCount "1" @default.
- W1557088246 countsByYear W15570882462012 @default.
- W1557088246 crossrefType "proceedings-article" @default.
- W1557088246 hasAuthorship W1557088246A5023986090 @default.
- W1557088246 hasAuthorship W1557088246A5038861833 @default.
- W1557088246 hasConcept C11413529 @default.
- W1557088246 hasConcept C149635348 @default.
- W1557088246 hasConcept C156884757 @default.
- W1557088246 hasConcept C173018170 @default.
- W1557088246 hasConcept C173608175 @default.
- W1557088246 hasConcept C18903297 @default.
- W1557088246 hasConcept C199360897 @default.
- W1557088246 hasConcept C2777759810 @default.
- W1557088246 hasConcept C2778770139 @default.
- W1557088246 hasConcept C41008148 @default.
- W1557088246 hasConcept C46757340 @default.
- W1557088246 hasConcept C4822641 @default.
- W1557088246 hasConcept C68339613 @default.
- W1557088246 hasConcept C6943359 @default.
- W1557088246 hasConcept C80444323 @default.
- W1557088246 hasConcept C86803240 @default.
- W1557088246 hasConceptScore W1557088246C11413529 @default.
- W1557088246 hasConceptScore W1557088246C149635348 @default.
- W1557088246 hasConceptScore W1557088246C156884757 @default.
- W1557088246 hasConceptScore W1557088246C173018170 @default.
- W1557088246 hasConceptScore W1557088246C173608175 @default.
- W1557088246 hasConceptScore W1557088246C18903297 @default.
- W1557088246 hasConceptScore W1557088246C199360897 @default.
- W1557088246 hasConceptScore W1557088246C2777759810 @default.
- W1557088246 hasConceptScore W1557088246C2778770139 @default.
- W1557088246 hasConceptScore W1557088246C41008148 @default.
- W1557088246 hasConceptScore W1557088246C46757340 @default.
- W1557088246 hasConceptScore W1557088246C4822641 @default.
- W1557088246 hasConceptScore W1557088246C68339613 @default.
- W1557088246 hasConceptScore W1557088246C6943359 @default.
- W1557088246 hasConceptScore W1557088246C80444323 @default.
- W1557088246 hasConceptScore W1557088246C86803240 @default.
- W1557088246 hasLocation W15570882461 @default.
- W1557088246 hasOpenAccess W1557088246 @default.
- W1557088246 hasPrimaryLocation W15570882461 @default.
- W1557088246 hasRelatedWork W1557088246 @default.
- W1557088246 hasRelatedWork W1570541361 @default.
- W1557088246 hasRelatedWork W2007789381 @default.
- W1557088246 hasRelatedWork W2013044883 @default.
- W1557088246 hasRelatedWork W2100512157 @default.
- W1557088246 hasRelatedWork W2160874740 @default.
- W1557088246 hasRelatedWork W2336733340 @default.
- W1557088246 hasRelatedWork W2805154545 @default.
- W1557088246 hasRelatedWork W3200471374 @default.
- W1557088246 hasRelatedWork W4252830195 @default.
- W1557088246 isParatext "false" @default.
- W1557088246 isRetracted "false" @default.
- W1557088246 magId "1557088246" @default.
- W1557088246 workType "article" @default.