Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966863253> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1966863253 endingPage "241" @default.
- W1966863253 startingPage "234" @default.
- W1966863253 abstract "We propose a hardware architecture to accelerate boolean constraint propagation (BCP). Although satisfiability (SAT) solvers in software use varying search and learning strategies, BCP is a fundamental component and by far consumes the most CPU time. Our field-programmable gate array (FPGA) design uses on-chip SRAM to facilitate the acceleration of BCP. We discuss many insights to our innovative hardware memory layout, which is very compact and enables extremely fast BCP. It also supports multithreading to minimize the idle time in hardware and to fully utilize the multicore processor host. Additionally, many industrial SAT instances encode logic gates as constraints. We compact these to simultaneously reduce the hardware memory usage as well as speed up the computation (enhanced BCP). We implemented our enhanced BCP core and integrated it with a simple software SAT solver which communicates over PCI Express. Hardware performance counters show that a single processing engine is up to 4x faster than a state-of-the-art software SAT solver." @default.
- W1966863253 created "2016-06-24" @default.
- W1966863253 creator A5048457847 @default.
- W1966863253 creator A5085563125 @default.
- W1966863253 date "2013-11-18" @default.
- W1966863253 modified "2023-09-26" @default.
- W1966863253 title "FPGA acceleration of enhanced boolean constraint propagation for SAT solvers" @default.
- W1966863253 cites W1518705996 @default.
- W1966863253 cites W1526260260 @default.
- W1966863253 cites W1608123432 @default.
- W1966863253 cites W1711753553 @default.
- W1966863253 cites W2001859357 @default.
- W1966863253 cites W203746830 @default.
- W1966863253 cites W2048051309 @default.
- W1966863253 cites W2050918004 @default.
- W1966863253 cites W2057361103 @default.
- W1966863253 cites W2069523538 @default.
- W1966863253 cites W2096307462 @default.
- W1966863253 cites W2102791214 @default.
- W1966863253 cites W2103406309 @default.
- W1966863253 cites W2103406716 @default.
- W1966863253 cites W2113692904 @default.
- W1966863253 cites W2125762847 @default.
- W1966863253 cites W2132220327 @default.
- W1966863253 cites W2133527541 @default.
- W1966863253 cites W2142785340 @default.
- W1966863253 cites W2157396773 @default.
- W1966863253 cites W2546270252 @default.
- W1966863253 cites W78552530 @default.
- W1966863253 cites W3012034058 @default.
- W1966863253 doi "https://doi.org/10.5555/2561828.2561875" @default.
- W1966863253 hasPublicationYear "2013" @default.
- W1966863253 type Work @default.
- W1966863253 sameAs 1966863253 @default.
- W1966863253 citedByCount "7" @default.
- W1966863253 countsByYear W19668632532015 @default.
- W1966863253 countsByYear W19668632532016 @default.
- W1966863253 countsByYear W19668632532017 @default.
- W1966863253 countsByYear W19668632532019 @default.
- W1966863253 countsByYear W19668632532020 @default.
- W1966863253 crossrefType "proceedings-article" @default.
- W1966863253 hasAuthorship W1966863253A5048457847 @default.
- W1966863253 hasAuthorship W1966863253A5085563125 @default.
- W1966863253 hasConcept C111919701 @default.
- W1966863253 hasConcept C114237110 @default.
- W1966863253 hasConcept C118524514 @default.
- W1966863253 hasConcept C13164978 @default.
- W1966863253 hasConcept C149635348 @default.
- W1966863253 hasConcept C173608175 @default.
- W1966863253 hasConcept C2777904410 @default.
- W1966863253 hasConcept C41008148 @default.
- W1966863253 hasConcept C42935608 @default.
- W1966863253 hasConcept C6943359 @default.
- W1966863253 hasConcept C78766204 @default.
- W1966863253 hasConcept C80444323 @default.
- W1966863253 hasConcept C9390403 @default.
- W1966863253 hasConceptScore W1966863253C111919701 @default.
- W1966863253 hasConceptScore W1966863253C114237110 @default.
- W1966863253 hasConceptScore W1966863253C118524514 @default.
- W1966863253 hasConceptScore W1966863253C13164978 @default.
- W1966863253 hasConceptScore W1966863253C149635348 @default.
- W1966863253 hasConceptScore W1966863253C173608175 @default.
- W1966863253 hasConceptScore W1966863253C2777904410 @default.
- W1966863253 hasConceptScore W1966863253C41008148 @default.
- W1966863253 hasConceptScore W1966863253C42935608 @default.
- W1966863253 hasConceptScore W1966863253C6943359 @default.
- W1966863253 hasConceptScore W1966863253C78766204 @default.
- W1966863253 hasConceptScore W1966863253C80444323 @default.
- W1966863253 hasConceptScore W1966863253C9390403 @default.
- W1966863253 hasLocation W19668632531 @default.
- W1966863253 hasOpenAccess W1966863253 @default.
- W1966863253 hasPrimaryLocation W19668632531 @default.
- W1966863253 hasRelatedWork W1518705996 @default.
- W1966863253 hasRelatedWork W1711753553 @default.
- W1966863253 hasRelatedWork W1979411114 @default.
- W1966863253 hasRelatedWork W2030586674 @default.
- W1966863253 hasRelatedWork W2042249109 @default.
- W1966863253 hasRelatedWork W2044560939 @default.
- W1966863253 hasRelatedWork W2050918004 @default.
- W1966863253 hasRelatedWork W2057361103 @default.
- W1966863253 hasRelatedWork W2069489579 @default.
- W1966863253 hasRelatedWork W2069523538 @default.
- W1966863253 hasRelatedWork W2103406716 @default.
- W1966863253 hasRelatedWork W2125762847 @default.
- W1966863253 hasRelatedWork W2142785340 @default.
- W1966863253 hasRelatedWork W2891504940 @default.
- W1966863253 hasRelatedWork W2901151390 @default.
- W1966863253 hasRelatedWork W2950629094 @default.
- W1966863253 hasRelatedWork W2966470162 @default.
- W1966863253 hasRelatedWork W3088123541 @default.
- W1966863253 hasRelatedWork W3092379737 @default.
- W1966863253 hasRelatedWork W3141169771 @default.
- W1966863253 isParatext "false" @default.
- W1966863253 isRetracted "false" @default.
- W1966863253 magId "1966863253" @default.
- W1966863253 workType "article" @default.