Matches in SemOpenAlex for { <https://semopenalex.org/work/W2542620555> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2542620555 abstract "Much of the performance improvement achieved by state-of-the-art SAT solvers is related to the implementation of conflict analysis which enables the solver to perform nonchronological conflict-based backjumping and learn new clauses. However, these techniques have been ignored by the majority of hardware SAT solvers or are executed on some coupled software running on an attached host processor. In this paper, we present a reconfigurable hardware SAT solver that performs a search algorithm combining the advanced techniques: non-chronological backjumping, dynamic backtracking and learning. The whole execution is done in hardware eliminating any runtime communication with the host processor. The feasibility of the proposed approach is experimented through instances from the DIMACS benchmarks suite." @default.
- W2542620555 created "2016-11-04" @default.
- W2542620555 creator A5018194556 @default.
- W2542620555 creator A5038110146 @default.
- W2542620555 creator A5045345296 @default.
- W2542620555 creator A5056943013 @default.
- W2542620555 date "2010-12-01" @default.
- W2542620555 modified "2023-09-28" @default.
- W2542620555 title "A novel conflict directed jumping algorithm for hardware-based SAT solvers" @default.
- W2542620555 cites W1500253836 @default.
- W2542620555 cites W1509257152 @default.
- W2542620555 cites W1711753553 @default.
- W2542620555 cites W1923495615 @default.
- W2542620555 cites W1979411114 @default.
- W2542620555 cites W2021700650 @default.
- W2542620555 cites W2037461268 @default.
- W2542620555 cites W2044560939 @default.
- W2542620555 cites W2050918004 @default.
- W2542620555 cites W2069523538 @default.
- W2542620555 cites W2091189496 @default.
- W2542620555 cites W2096307462 @default.
- W2542620555 cites W2136950039 @default.
- W2542620555 cites W2147148915 @default.
- W2542620555 cites W2157396773 @default.
- W2542620555 cites W2913258176 @default.
- W2542620555 doi "https://doi.org/10.1109/idt.2010.5724417" @default.
- W2542620555 hasPublicationYear "2010" @default.
- W2542620555 type Work @default.
- W2542620555 sameAs 2542620555 @default.
- W2542620555 citedByCount "1" @default.
- W2542620555 countsByYear W25426205552012 @default.
- W2542620555 crossrefType "proceedings-article" @default.
- W2542620555 hasAuthorship W2542620555A5018194556 @default.
- W2542620555 hasAuthorship W2542620555A5038110146 @default.
- W2542620555 hasAuthorship W2542620555A5045345296 @default.
- W2542620555 hasAuthorship W2542620555A5056943013 @default.
- W2542620555 hasConcept C11413529 @default.
- W2542620555 hasConcept C118524514 @default.
- W2542620555 hasConcept C126831891 @default.
- W2542620555 hasConcept C156884757 @default.
- W2542620555 hasConcept C166957645 @default.
- W2542620555 hasConcept C173608175 @default.
- W2542620555 hasConcept C18903297 @default.
- W2542620555 hasConcept C199360897 @default.
- W2542620555 hasConcept C2777904410 @default.
- W2542620555 hasConcept C2778770139 @default.
- W2542620555 hasConcept C41008148 @default.
- W2542620555 hasConcept C48103436 @default.
- W2542620555 hasConcept C6943359 @default.
- W2542620555 hasConcept C79581498 @default.
- W2542620555 hasConcept C86803240 @default.
- W2542620555 hasConcept C95457728 @default.
- W2542620555 hasConceptScore W2542620555C11413529 @default.
- W2542620555 hasConceptScore W2542620555C118524514 @default.
- W2542620555 hasConceptScore W2542620555C126831891 @default.
- W2542620555 hasConceptScore W2542620555C156884757 @default.
- W2542620555 hasConceptScore W2542620555C166957645 @default.
- W2542620555 hasConceptScore W2542620555C173608175 @default.
- W2542620555 hasConceptScore W2542620555C18903297 @default.
- W2542620555 hasConceptScore W2542620555C199360897 @default.
- W2542620555 hasConceptScore W2542620555C2777904410 @default.
- W2542620555 hasConceptScore W2542620555C2778770139 @default.
- W2542620555 hasConceptScore W2542620555C41008148 @default.
- W2542620555 hasConceptScore W2542620555C48103436 @default.
- W2542620555 hasConceptScore W2542620555C6943359 @default.
- W2542620555 hasConceptScore W2542620555C79581498 @default.
- W2542620555 hasConceptScore W2542620555C86803240 @default.
- W2542620555 hasConceptScore W2542620555C95457728 @default.
- W2542620555 hasLocation W25426205551 @default.
- W2542620555 hasOpenAccess W2542620555 @default.
- W2542620555 hasPrimaryLocation W25426205551 @default.
- W2542620555 hasRelatedWork W1555375604 @default.
- W2542620555 hasRelatedWork W1558180718 @default.
- W2542620555 hasRelatedWork W1971825884 @default.
- W2542620555 hasRelatedWork W2019741858 @default.
- W2542620555 hasRelatedWork W2050918004 @default.
- W2542620555 hasRelatedWork W2079547519 @default.
- W2542620555 hasRelatedWork W2095904973 @default.
- W2542620555 hasRelatedWork W2096307462 @default.
- W2542620555 hasRelatedWork W2113692904 @default.
- W2542620555 hasRelatedWork W2121032762 @default.
- W2542620555 hasRelatedWork W2123099543 @default.
- W2542620555 hasRelatedWork W2146204947 @default.
- W2542620555 hasRelatedWork W2535737869 @default.
- W2542620555 hasRelatedWork W2587833204 @default.
- W2542620555 hasRelatedWork W2787559528 @default.
- W2542620555 hasRelatedWork W2887328045 @default.
- W2542620555 hasRelatedWork W2949770228 @default.
- W2542620555 hasRelatedWork W3004054454 @default.
- W2542620555 hasRelatedWork W3021767151 @default.
- W2542620555 hasRelatedWork W3023251567 @default.
- W2542620555 isParatext "false" @default.
- W2542620555 isRetracted "false" @default.
- W2542620555 magId "2542620555" @default.
- W2542620555 workType "article" @default.