Matches in SemOpenAlex for { <https://semopenalex.org/work/W2887328045> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2887328045 abstract "Various types of SAT solvers are widely used in model checking for ensuring the reliability of software and hardware systems. Currently, many SAT solvers have been developed and most of them are implemented by means of software manners such as MiniSAT. However, the software-based SAT solvers are often not capable of dealing with the complex systems that hold a large number of states and transitions. To solve this problem, the hardware-based SAT solvers have attached much attention in industry because of its high-performance including efficiency and scalability. In this paper, we develop a SAT solver based on the hardware FPGA. In the solver, an improved DPLL algorithm is embedded in FPGA to solve satisfiable problems. We have evaluated our SAT solver based on many experiments with a lot of standard benchmarks. The experimental results show that our solver is an efficient and scalable SAT solver compared with the existing ones." @default.
- W2887328045 created "2018-08-22" @default.
- W2887328045 creator A5000323703 @default.
- W2887328045 creator A5030041377 @default.
- W2887328045 creator A5045333131 @default.
- W2887328045 creator A5076132521 @default.
- W2887328045 creator A5089183482 @default.
- W2887328045 date "2018-07-01" @default.
- W2887328045 modified "2023-09-27" @default.
- W2887328045 title "A FPGA Based SAT Solver with High Random and Concurrent Strategies" @default.
- W2887328045 cites W1946319015 @default.
- W2887328045 cites W1979411114 @default.
- W2887328045 cites W1984853564 @default.
- W2887328045 cites W2026355757 @default.
- W2887328045 cites W2037461268 @default.
- W2887328045 cites W2057361103 @default.
- W2887328045 cites W2062897452 @default.
- W2887328045 cites W2068567751 @default.
- W2887328045 cites W2080593426 @default.
- W2887328045 cites W2085156669 @default.
- W2887328045 cites W2097169831 @default.
- W2887328045 cites W2113692904 @default.
- W2887328045 cites W2142785340 @default.
- W2887328045 cites W2143934828 @default.
- W2887328045 cites W2150642420 @default.
- W2887328045 cites W2157396773 @default.
- W2887328045 cites W2166422915 @default.
- W2887328045 cites W4248609189 @default.
- W2887328045 doi "https://doi.org/10.1109/qrs-c.2018.00049" @default.
- W2887328045 hasPublicationYear "2018" @default.
- W2887328045 type Work @default.
- W2887328045 sameAs 2887328045 @default.
- W2887328045 citedByCount "3" @default.
- W2887328045 countsByYear W28873280452019 @default.
- W2887328045 countsByYear W28873280452021 @default.
- W2887328045 countsByYear W28873280452022 @default.
- W2887328045 crossrefType "proceedings-article" @default.
- W2887328045 hasAuthorship W2887328045A5000323703 @default.
- W2887328045 hasAuthorship W2887328045A5030041377 @default.
- W2887328045 hasAuthorship W2887328045A5045333131 @default.
- W2887328045 hasAuthorship W2887328045A5076132521 @default.
- W2887328045 hasAuthorship W2887328045A5089183482 @default.
- W2887328045 hasConcept C111919701 @default.
- W2887328045 hasConcept C11413529 @default.
- W2887328045 hasConcept C12707504 @default.
- W2887328045 hasConcept C134652429 @default.
- W2887328045 hasConcept C143936061 @default.
- W2887328045 hasConcept C149635348 @default.
- W2887328045 hasConcept C173608175 @default.
- W2887328045 hasConcept C199360897 @default.
- W2887328045 hasConcept C2777904410 @default.
- W2887328045 hasConcept C2778770139 @default.
- W2887328045 hasConcept C41008148 @default.
- W2887328045 hasConcept C42935608 @default.
- W2887328045 hasConcept C48044578 @default.
- W2887328045 hasConcept C6943359 @default.
- W2887328045 hasConcept C76155785 @default.
- W2887328045 hasConceptScore W2887328045C111919701 @default.
- W2887328045 hasConceptScore W2887328045C11413529 @default.
- W2887328045 hasConceptScore W2887328045C12707504 @default.
- W2887328045 hasConceptScore W2887328045C134652429 @default.
- W2887328045 hasConceptScore W2887328045C143936061 @default.
- W2887328045 hasConceptScore W2887328045C149635348 @default.
- W2887328045 hasConceptScore W2887328045C173608175 @default.
- W2887328045 hasConceptScore W2887328045C199360897 @default.
- W2887328045 hasConceptScore W2887328045C2777904410 @default.
- W2887328045 hasConceptScore W2887328045C2778770139 @default.
- W2887328045 hasConceptScore W2887328045C41008148 @default.
- W2887328045 hasConceptScore W2887328045C42935608 @default.
- W2887328045 hasConceptScore W2887328045C48044578 @default.
- W2887328045 hasConceptScore W2887328045C6943359 @default.
- W2887328045 hasConceptScore W2887328045C76155785 @default.
- W2887328045 hasLocation W28873280451 @default.
- W2887328045 hasOpenAccess W2887328045 @default.
- W2887328045 hasPrimaryLocation W28873280451 @default.
- W2887328045 hasRelatedWork W1502414128 @default.
- W2887328045 hasRelatedWork W2002276854 @default.
- W2887328045 hasRelatedWork W2080076943 @default.
- W2887328045 hasRelatedWork W2616418345 @default.
- W2887328045 hasRelatedWork W2925710139 @default.
- W2887328045 hasRelatedWork W2949770228 @default.
- W2887328045 hasRelatedWork W2980006224 @default.
- W2887328045 hasRelatedWork W3161430837 @default.
- W2887328045 hasRelatedWork W3200471374 @default.
- W2887328045 hasRelatedWork W866331153 @default.
- W2887328045 isParatext "false" @default.
- W2887328045 isRetracted "false" @default.
- W2887328045 magId "2887328045" @default.
- W2887328045 workType "article" @default.