Matches in SemOpenAlex for { <https://semopenalex.org/work/W2801152044> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2801152044 endingPage "339" @default.
- W2801152044 startingPage "327" @default.
- W2801152044 abstract "Abstract The efficient generation of minimal hitting sets (MHSs) for large conflict sets is an important topic for classical model-based diagnosis. To date, the structures of conflict sets have not been taken into account for computing MHSs by most previous methods, although they may play an important role. In this paper, a type of basic linear structure of conflict sets is described. Based on this linear structure and the classical strategy “divide and conquer”, an efficient approach, that is, LinearMerge, is proposed for solving large MHS problems. In theory, compared with direct “divide and conquer” without considering the linear structure of conflict sets, LinearMerge decreases the complexity of each merge from quadratic to linear, in the product of the number of MHSs for each sub-family of conflict sets. Experimental results on regular synthetic data demonstrate that LinearMerge has higher efficiency than many other well-known approaches, and saves several orders of magnitude of time (seconds). Furthermore, many families of conflict sets for widely used ISCAS-85 benchmark circuits manifest the property of a linear structure, and more than 95% of them include sub-families in a linear structure, in some circuits. Experimental results on such benchmarks also show that LinearMerge is more efficient than other efficient approaches, and in many cases, LinearMerge saves more than 99% of the time cost." @default.
- W2801152044 created "2018-05-17" @default.
- W2801152044 creator A5087919123 @default.
- W2801152044 date "2018-06-01" @default.
- W2801152044 modified "2023-09-30" @default.
- W2801152044 title "LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure" @default.
- W2801152044 cites W1562027785 @default.
- W2801152044 cites W1607817027 @default.
- W2801152044 cites W194026504 @default.
- W2801152044 cites W1974076037 @default.
- W2801152044 cites W1976127067 @default.
- W2801152044 cites W1985769033 @default.
- W2801152044 cites W2008716852 @default.
- W2801152044 cites W2008756825 @default.
- W2801152044 cites W2013572344 @default.
- W2801152044 cites W2020169768 @default.
- W2801152044 cites W2025271293 @default.
- W2801152044 cites W2027462800 @default.
- W2801152044 cites W2075564770 @default.
- W2801152044 cites W2092666283 @default.
- W2801152044 cites W2101330213 @default.
- W2801152044 cites W2108309071 @default.
- W2801152044 cites W2112173236 @default.
- W2801152044 cites W2115436681 @default.
- W2801152044 cites W2144386448 @default.
- W2801152044 cites W2334950854 @default.
- W2801152044 cites W2336218051 @default.
- W2801152044 cites W2338672156 @default.
- W2801152044 cites W2341738785 @default.
- W2801152044 cites W2585270340 @default.
- W2801152044 cites W2726028976 @default.
- W2801152044 doi "https://doi.org/10.1016/j.engappai.2018.04.015" @default.
- W2801152044 hasPublicationYear "2018" @default.
- W2801152044 type Work @default.
- W2801152044 sameAs 2801152044 @default.
- W2801152044 citedByCount "0" @default.
- W2801152044 crossrefType "journal-article" @default.
- W2801152044 hasAuthorship W2801152044A5087919123 @default.
- W2801152044 hasConcept C11413529 @default.
- W2801152044 hasConcept C126255220 @default.
- W2801152044 hasConcept C129844170 @default.
- W2801152044 hasConcept C13280743 @default.
- W2801152044 hasConcept C173608175 @default.
- W2801152044 hasConcept C185798385 @default.
- W2801152044 hasConcept C197129107 @default.
- W2801152044 hasConcept C205649164 @default.
- W2801152044 hasConcept C2524010 @default.
- W2801152044 hasConcept C33923547 @default.
- W2801152044 hasConcept C41008148 @default.
- W2801152044 hasConcept C45374587 @default.
- W2801152044 hasConcept C71559656 @default.
- W2801152044 hasConcept C80444323 @default.
- W2801152044 hasConceptScore W2801152044C11413529 @default.
- W2801152044 hasConceptScore W2801152044C126255220 @default.
- W2801152044 hasConceptScore W2801152044C129844170 @default.
- W2801152044 hasConceptScore W2801152044C13280743 @default.
- W2801152044 hasConceptScore W2801152044C173608175 @default.
- W2801152044 hasConceptScore W2801152044C185798385 @default.
- W2801152044 hasConceptScore W2801152044C197129107 @default.
- W2801152044 hasConceptScore W2801152044C205649164 @default.
- W2801152044 hasConceptScore W2801152044C2524010 @default.
- W2801152044 hasConceptScore W2801152044C33923547 @default.
- W2801152044 hasConceptScore W2801152044C41008148 @default.
- W2801152044 hasConceptScore W2801152044C45374587 @default.
- W2801152044 hasConceptScore W2801152044C71559656 @default.
- W2801152044 hasConceptScore W2801152044C80444323 @default.
- W2801152044 hasFunder F4320321001 @default.
- W2801152044 hasLocation W28011520441 @default.
- W2801152044 hasOpenAccess W2801152044 @default.
- W2801152044 hasPrimaryLocation W28011520441 @default.
- W2801152044 hasRelatedWork W1513831164 @default.
- W2801152044 hasRelatedWork W1572523360 @default.
- W2801152044 hasRelatedWork W2039543614 @default.
- W2801152044 hasRelatedWork W2044027490 @default.
- W2801152044 hasRelatedWork W2057623054 @default.
- W2801152044 hasRelatedWork W2352648941 @default.
- W2801152044 hasRelatedWork W2354062721 @default.
- W2801152044 hasRelatedWork W2371447506 @default.
- W2801152044 hasRelatedWork W2386767533 @default.
- W2801152044 hasRelatedWork W2748952813 @default.
- W2801152044 hasVolume "72" @default.
- W2801152044 isParatext "false" @default.
- W2801152044 isRetracted "false" @default.
- W2801152044 magId "2801152044" @default.
- W2801152044 workType "article" @default.