Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102364390> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2102364390 endingPage "223" @default.
- W2102364390 startingPage "218" @default.
- W2102364390 abstract "Recent advances in Boolean satisfiability have made it an attractive engine for solving many digital VLSI design problems such as verification, model checking, optimization and test generation. Fault diagnosis and logic debugging have not been addressed by existing satisfiability-based solutions. This paper attempts to bridge this gap by proposing a satisfiability-based solution to these problems. The proposed formulation is intuitive and easy to implement. It shows that satisfiability captures significant problem characateristics 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.
- W2102364390 created "2016-06-24" @default.
- W2102364390 creator A5005255744 @default.
- W2102364390 creator A5009841786 @default.
- W2102364390 creator A5086089998 @default.
- W2102364390 date "2004-01-27" @default.
- W2102364390 modified "2023-09-23" @default.
- W2102364390 title "Design diagnosis using Boolean satisfiability" @default.
- W2102364390 cites W1486389616 @default.
- W2102364390 cites W1503570386 @default.
- W2102364390 cites W1518271219 @default.
- W2102364390 cites W1846912046 @default.
- W2102364390 cites W2044299352 @default.
- W2102364390 cites W2044560939 @default.
- W2102364390 cites W2092883699 @default.
- W2102364390 cites W2098335680 @default.
- W2102364390 cites W2115559389 @default.
- W2102364390 cites W2127735256 @default.
- W2102364390 cites W2135509708 @default.
- W2102364390 cites W2139171217 @default.
- W2102364390 cites W2142785340 @default.
- W2102364390 cites W2151398141 @default.
- W2102364390 cites W2160444875 @default.
- W2102364390 cites W3147914313 @default.
- W2102364390 doi "https://doi.org/10.5555/1015090.1015142" @default.
- W2102364390 hasPublicationYear "2004" @default.
- W2102364390 type Work @default.
- W2102364390 sameAs 2102364390 @default.
- W2102364390 citedByCount "39" @default.
- W2102364390 countsByYear W21023643902012 @default.
- W2102364390 countsByYear W21023643902013 @default.
- W2102364390 countsByYear W21023643902014 @default.
- W2102364390 countsByYear W21023643902015 @default.
- W2102364390 countsByYear W21023643902019 @default.
- W2102364390 crossrefType "proceedings-article" @default.
- W2102364390 hasAuthorship W2102364390A5005255744 @default.
- W2102364390 hasAuthorship W2102364390A5009841786 @default.
- W2102364390 hasAuthorship W2102364390A5086089998 @default.
- W2102364390 hasConcept C111797529 @default.
- W2102364390 hasConcept C11413529 @default.
- W2102364390 hasConcept C12707504 @default.
- W2102364390 hasConcept C134652429 @default.
- W2102364390 hasConcept C143936061 @default.
- W2102364390 hasConcept C168065819 @default.
- W2102364390 hasConcept C168773769 @default.
- W2102364390 hasConcept C187455244 @default.
- W2102364390 hasConcept C199360897 @default.
- W2102364390 hasConcept C41008148 @default.
- W2102364390 hasConcept C6943359 @default.
- W2102364390 hasConcept C76155785 @default.
- W2102364390 hasConcept C80444323 @default.
- W2102364390 hasConceptScore W2102364390C111797529 @default.
- W2102364390 hasConceptScore W2102364390C11413529 @default.
- W2102364390 hasConceptScore W2102364390C12707504 @default.
- W2102364390 hasConceptScore W2102364390C134652429 @default.
- W2102364390 hasConceptScore W2102364390C143936061 @default.
- W2102364390 hasConceptScore W2102364390C168065819 @default.
- W2102364390 hasConceptScore W2102364390C168773769 @default.
- W2102364390 hasConceptScore W2102364390C187455244 @default.
- W2102364390 hasConceptScore W2102364390C199360897 @default.
- W2102364390 hasConceptScore W2102364390C41008148 @default.
- W2102364390 hasConceptScore W2102364390C6943359 @default.
- W2102364390 hasConceptScore W2102364390C76155785 @default.
- W2102364390 hasConceptScore W2102364390C80444323 @default.
- W2102364390 hasLocation W21023643901 @default.
- W2102364390 hasOpenAccess W2102364390 @default.
- W2102364390 hasPrimaryLocation W21023643901 @default.
- W2102364390 hasRelatedWork W1503570386 @default.
- W2102364390 hasRelatedWork W1518705996 @default.
- W2102364390 hasRelatedWork W1539380957 @default.
- W2102364390 hasRelatedWork W1608751254 @default.
- W2102364390 hasRelatedWork W1951780703 @default.
- W2102364390 hasRelatedWork W1965259933 @default.
- W2102364390 hasRelatedWork W1979903718 @default.
- W2102364390 hasRelatedWork W2021463588 @default.
- W2102364390 hasRelatedWork W2044299352 @default.
- W2102364390 hasRelatedWork W2044560939 @default.
- W2102364390 hasRelatedWork W2096541971 @default.
- W2102364390 hasRelatedWork W2100092298 @default.
- W2102364390 hasRelatedWork W2108914014 @default.
- W2102364390 hasRelatedWork W2127735256 @default.
- W2102364390 hasRelatedWork W2134886801 @default.
- W2102364390 hasRelatedWork W2139531926 @default.
- W2102364390 hasRelatedWork W2142785340 @default.
- W2102364390 hasRelatedWork W2148397050 @default.
- W2102364390 hasRelatedWork W2160444875 @default.
- W2102364390 hasRelatedWork W2163601989 @default.
- W2102364390 isParatext "false" @default.
- W2102364390 isRetracted "false" @default.
- W2102364390 magId "2102364390" @default.
- W2102364390 workType "article" @default.