Matches in SemOpenAlex for { <https://semopenalex.org/work/W2362007886> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2362007886 abstract "A design error diagnosis algorithm for combinational circuits is presented.It can perform model-free logic error location by counting sat solutions with an all-solution SAT solver.Our algorithm offers two major advantages over existing methods.Firstly,we reduce the variables and the clauses using a novel diagnosis configuration.Secondly,a number of heuristics are proposed that keep the method memory and run-time efficient." @default.
- W2362007886 created "2016-06-24" @default.
- W2362007886 creator A5053382307 @default.
- W2362007886 date "2007-01-01" @default.
- W2362007886 modified "2023-09-24" @default.
- W2362007886 title "SAT-based Algorithm for Multiple Design Error Diagnosis" @default.
- W2362007886 hasPublicationYear "2007" @default.
- W2362007886 type Work @default.
- W2362007886 sameAs 2362007886 @default.
- W2362007886 citedByCount "0" @default.
- W2362007886 crossrefType "journal-article" @default.
- W2362007886 hasAuthorship W2362007886A5053382307 @default.
- W2362007886 hasConcept C111919701 @default.
- W2362007886 hasConcept C11413529 @default.
- W2362007886 hasConcept C127705205 @default.
- W2362007886 hasConcept C131017901 @default.
- W2362007886 hasConcept C199360897 @default.
- W2362007886 hasConcept C2778770139 @default.
- W2362007886 hasConcept C41008148 @default.
- W2362007886 hasConcept C6943359 @default.
- W2362007886 hasConcept C81409106 @default.
- W2362007886 hasConceptScore W2362007886C111919701 @default.
- W2362007886 hasConceptScore W2362007886C11413529 @default.
- W2362007886 hasConceptScore W2362007886C127705205 @default.
- W2362007886 hasConceptScore W2362007886C131017901 @default.
- W2362007886 hasConceptScore W2362007886C199360897 @default.
- W2362007886 hasConceptScore W2362007886C2778770139 @default.
- W2362007886 hasConceptScore W2362007886C41008148 @default.
- W2362007886 hasConceptScore W2362007886C6943359 @default.
- W2362007886 hasConceptScore W2362007886C81409106 @default.
- W2362007886 hasLocation W23620078861 @default.
- W2362007886 hasOpenAccess W2362007886 @default.
- W2362007886 hasPrimaryLocation W23620078861 @default.
- W2362007886 hasRelatedWork W1494460786 @default.
- W2362007886 hasRelatedWork W1514095116 @default.
- W2362007886 hasRelatedWork W1840416799 @default.
- W2362007886 hasRelatedWork W1979903718 @default.
- W2362007886 hasRelatedWork W2030693510 @default.
- W2362007886 hasRelatedWork W2044663602 @default.
- W2362007886 hasRelatedWork W2055762574 @default.
- W2362007886 hasRelatedWork W2114766961 @default.
- W2362007886 hasRelatedWork W2123099543 @default.
- W2362007886 hasRelatedWork W2142785340 @default.
- W2362007886 hasRelatedWork W2146204947 @default.
- W2362007886 hasRelatedWork W2149968564 @default.
- W2362007886 hasRelatedWork W2150255755 @default.
- W2362007886 hasRelatedWork W2159503942 @default.
- W2362007886 hasRelatedWork W2189163111 @default.
- W2362007886 hasRelatedWork W2298051212 @default.
- W2362007886 hasRelatedWork W2765751865 @default.
- W2362007886 hasRelatedWork W2786835848 @default.
- W2362007886 hasRelatedWork W2187519509 @default.
- W2362007886 hasRelatedWork W3086036005 @default.
- W2362007886 isParatext "false" @default.
- W2362007886 isRetracted "false" @default.
- W2362007886 magId "2362007886" @default.
- W2362007886 workType "article" @default.