FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3043371138> ?p ?o ?g. }

• W3043371138 endingPage "462" @default.
• W3043371138 startingPage "439" @default.
• W3043371138 abstract "Given an unsatisfiable formula F in CNF, i.e. a set of clauses, the problem of Minimal Unsatisfiable Subset (MUS) seeks to identify a minimal subset of clauses $$N subseteq F$$ such that N is unsatisfiable. The emerging viewpoint of MUSes as the root causes of unsatisfiability has led MUSes to find applications in a wide variety of diagnostic approaches. Recent advances in identification and enumeration of MUSes have motivated researchers to discover applications that can benefit from rich information about the set of MUSes. One such extension is that of counting the number of MUSes. The current best approach for MUS counting is to employ a MUS enumeration algorithm, which often does not scale for the cases with a reasonably large number of MUSes. Motivated by the success of hashing-based techniques in the context of model counting, we design the first approximate MUS counting procedure with $$(varepsilon ,delta )$$ guarantees, called $$mathsf {AMUSIC}$$ . Our approach avoids exhaustive MUS enumeration by combining the classical technique of universal hashing with advances in QBF solvers along with a novel usage of union and intersection of MUSes to achieve runtime efficiency. Our prototype implementation of $$mathsf {AMUSIC}$$ is shown to scale to instances that were clearly beyond the realm of enumeration-based approaches." @default.
• W3043371138 created "2020-07-23" @default.
• W3043371138 creator A5041528950 @default.
• W3043371138 creator A5088763903 @default.
• W3043371138 date "2020-01-01" @default.
• W3043371138 modified "2023-10-06" @default.
• W3043371138 title "Approximate Counting of Minimal Unsatisfiable Subsets" @default.
• W3043371138 cites W1605798759 @default.
• W3043371138 cites W1606751955 @default.
• W3043371138 cites W1758913682 @default.
• W3043371138 cites W1769298637 @default.
• W3043371138 cites W1970251068 @default.
• W3043371138 cites W2007464118 @default.
• W3043371138 cites W2014111643 @default.
• W3043371138 cites W2020169768 @default.
• W3043371138 cites W2026565317 @default.
• W3043371138 cites W203799144 @default.
• W3043371138 cites W2086674260 @default.
• W3043371138 cites W2087418187 @default.
• W3043371138 cites W2087567316 @default.
• W3043371138 cites W2107527204 @default.
• W3043371138 cites W2108309071 @default.
• W3043371138 cites W2125110780 @default.
• W3043371138 cites W2144386448 @default.
• W3043371138 cites W2149902097 @default.
• W3043371138 cites W2236948976 @default.
• W3043371138 cites W2266282164 @default.
• W3043371138 cites W2404220671 @default.
• W3043371138 cites W2462682442 @default.
• W3043371138 cites W2487667488 @default.
• W3043371138 cites W255296881 @default.
• W3043371138 cites W2735552266 @default.
• W3043371138 cites W2741064700 @default.
• W3043371138 cites W2767527259 @default.
• W3043371138 cites W2805599793 @default.
• W3043371138 cites W2807891135 @default.
• W3043371138 cites W2809729522 @default.
• W3043371138 cites W2816928669 @default.
• W3043371138 cites W2883980996 @default.
• W3043371138 cites W2906587736 @default.
• W3043371138 cites W2954836904 @default.
• W3043371138 cites W2964396926 @default.
• W3043371138 cites W2974634207 @default.
• W3043371138 cites W3016468266 @default.
• W3043371138 cites W308113020 @default.
• W3043371138 cites W3103634278 @default.
• W3043371138 cites W4237318324 @default.
• W3043371138 cites W986923873 @default.
• W3043371138 doi "https://doi.org/10.1007/978-3-030-53288-8_21" @default.
• W3043371138 hasPublicationYear "2020" @default.
• W3043371138 type Work @default.
• W3043371138 sameAs 3043371138 @default.
• W3043371138 citedByCount "7" @default.
• W3043371138 countsByYear W30433711382020 @default.
• W3043371138 countsByYear W30433711382021 @default.
• W3043371138 countsByYear W30433711382023 @default.
• W3043371138 crossrefType "book-chapter" @default.
• W3043371138 hasAuthorship W3043371138A5041528950 @default.
• W3043371138 hasAuthorship W3043371138A5088763903 @default.
• W3043371138 hasBestOaLocation W30433711381 @default.
• W3043371138 hasConcept C11413529 @default.
• W3043371138 hasConcept C114614502 @default.
• W3043371138 hasConcept C118615104 @default.
• W3043371138 hasConcept C127413603 @default.
• W3043371138 hasConcept C146978453 @default.
• W3043371138 hasConcept C151730666 @default.
• W3043371138 hasConcept C156340839 @default.
• W3043371138 hasConcept C177264268 @default.
• W3043371138 hasConcept C199360897 @default.
• W3043371138 hasConcept C2779343474 @default.
• W3043371138 hasConcept C33923547 @default.
• W3043371138 hasConcept C41008148 @default.
• W3043371138 hasConcept C64543145 @default.
• W3043371138 hasConcept C67388219 @default.
• W3043371138 hasConcept C80444323 @default.
• W3043371138 hasConcept C86803240 @default.
• W3043371138 hasConcept C99138194 @default.
• W3043371138 hasConceptScore W3043371138C11413529 @default.
• W3043371138 hasConceptScore W3043371138C114614502 @default.
• W3043371138 hasConceptScore W3043371138C118615104 @default.
• W3043371138 hasConceptScore W3043371138C127413603 @default.
• W3043371138 hasConceptScore W3043371138C146978453 @default.
• W3043371138 hasConceptScore W3043371138C151730666 @default.
• W3043371138 hasConceptScore W3043371138C156340839 @default.
• W3043371138 hasConceptScore W3043371138C177264268 @default.
• W3043371138 hasConceptScore W3043371138C199360897 @default.
• W3043371138 hasConceptScore W3043371138C2779343474 @default.
• W3043371138 hasConceptScore W3043371138C33923547 @default.
• W3043371138 hasConceptScore W3043371138C41008148 @default.
• W3043371138 hasConceptScore W3043371138C64543145 @default.
• W3043371138 hasConceptScore W3043371138C67388219 @default.
• W3043371138 hasConceptScore W3043371138C80444323 @default.
• W3043371138 hasConceptScore W3043371138C86803240 @default.
• W3043371138 hasConceptScore W3043371138C99138194 @default.
• W3043371138 hasLocation W30433711381 @default.
• W3043371138 hasOpenAccess W3043371138 @default.
• W3043371138 hasPrimaryLocation W30433711381 @default.
• W3043371138 hasRelatedWork W108845024 @default.

• next