Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123503453> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2123503453 abstract "Recent advances in Boolean satisfiability have made it attractive to solve many digital VLSI design problems such as verification and test generation. Fault diagnosis and logic debugging have not been addressed by existing satisfiability-based solutions. We attempt to bridge this gap by proposing a model-free satisfiability-based solution to these problems. The proposed formulation is intuitive and easy to implement. It shows that satisfiability captures significant problem characteristics and it offers different trade-offs. It also provides new opportunities for satisfiability-based diagnosis tools and diagnosis-specific satisfiability algorithms. Theory and experiments validate the claims and demonstrate its potential." @default.
- W2123503453 created "2016-06-24" @default.
- W2123503453 creator A5009841786 @default.
- W2123503453 date "2004-05-06" @default.
- W2123503453 modified "2023-10-16" @default.
- W2123503453 title "Fault diagnosis and logic debugging using Boolean satisfiability" @default.
- W2123503453 cites W1486389616 @default.
- W2123503453 cites W1518271219 @default.
- W2123503453 cites W1554885925 @default.
- W2123503453 cites W2044299352 @default.
- W2123503453 cites W2044560939 @default.
- W2123503453 cites W2092883699 @default.
- W2123503453 cites W2098335680 @default.
- W2123503453 cites W2112770269 @default.
- W2123503453 cites W2115559389 @default.
- W2123503453 cites W2127735256 @default.
- W2123503453 cites W2139171217 @default.
- W2123503453 cites W2142785340 @default.
- W2123503453 cites W2160444875 @default.
- W2123503453 cites W3147914313 @default.
- W2123503453 doi "https://doi.org/10.1109/mtv.2003.1250264" @default.
- W2123503453 hasPublicationYear "2004" @default.
- W2123503453 type Work @default.
- W2123503453 sameAs 2123503453 @default.
- W2123503453 citedByCount "7" @default.
- W2123503453 countsByYear W21235034532013 @default.
- W2123503453 countsByYear W21235034532015 @default.
- W2123503453 countsByYear W21235034532018 @default.
- W2123503453 crossrefType "proceedings-article" @default.
- W2123503453 hasAuthorship W2123503453A5009841786 @default.
- W2123503453 hasBestOaLocation W21235034532 @default.
- W2123503453 hasConcept C111797529 @default.
- W2123503453 hasConcept C11413529 @default.
- W2123503453 hasConcept C12707504 @default.
- W2123503453 hasConcept C134652429 @default.
- W2123503453 hasConcept C143936061 @default.
- W2123503453 hasConcept C168065819 @default.
- W2123503453 hasConcept C168773769 @default.
- W2123503453 hasConcept C187455244 @default.
- W2123503453 hasConcept C199360897 @default.
- W2123503453 hasConcept C41008148 @default.
- W2123503453 hasConcept C6943359 @default.
- W2123503453 hasConcept C76155785 @default.
- W2123503453 hasConcept C80444323 @default.
- W2123503453 hasConceptScore W2123503453C111797529 @default.
- W2123503453 hasConceptScore W2123503453C11413529 @default.
- W2123503453 hasConceptScore W2123503453C12707504 @default.
- W2123503453 hasConceptScore W2123503453C134652429 @default.
- W2123503453 hasConceptScore W2123503453C143936061 @default.
- W2123503453 hasConceptScore W2123503453C168065819 @default.
- W2123503453 hasConceptScore W2123503453C168773769 @default.
- W2123503453 hasConceptScore W2123503453C187455244 @default.
- W2123503453 hasConceptScore W2123503453C199360897 @default.
- W2123503453 hasConceptScore W2123503453C41008148 @default.
- W2123503453 hasConceptScore W2123503453C6943359 @default.
- W2123503453 hasConceptScore W2123503453C76155785 @default.
- W2123503453 hasConceptScore W2123503453C80444323 @default.
- W2123503453 hasLocation W21235034531 @default.
- W2123503453 hasLocation W21235034532 @default.
- W2123503453 hasLocation W21235034533 @default.
- W2123503453 hasOpenAccess W2123503453 @default.
- W2123503453 hasPrimaryLocation W21235034531 @default.
- W2123503453 hasRelatedWork W1539380957 @default.
- W2123503453 hasRelatedWork W1979903718 @default.
- W2123503453 hasRelatedWork W2068791137 @default.
- W2123503453 hasRelatedWork W2080997801 @default.
- W2123503453 hasRelatedWork W2117005051 @default.
- W2123503453 hasRelatedWork W2123503453 @default.
- W2123503453 hasRelatedWork W2185163273 @default.
- W2123503453 hasRelatedWork W2547892930 @default.
- W2123503453 hasRelatedWork W2772884453 @default.
- W2123503453 hasRelatedWork W83935621 @default.
- W2123503453 isParatext "false" @default.
- W2123503453 isRetracted "false" @default.
- W2123503453 magId "2123503453" @default.
- W2123503453 workType "article" @default.