FRINK Linked Data Fragments server

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

• W89760577 endingPage "57" @default.
• W89760577 startingPage "42" @default.
• W89760577 abstract "Decision-DNNF is a strict subset of decomposable negation normal form (DNNF) that plays a key role in analyzing the complexity of model counters (the searches performed by these counters have their traces in Decision-DNNF). This paper presents a number of results on Decision-DNNF. First, we introduce a new notion of CNF width and provide an algorithm that compiles CNFs into Decision-DNNFs in time and space that are exponential only in this width. The new width strictly dominates the treewidth of the CNF primal graph: it is no greater and can be bounded when the treewidth of the primal graph is unbounded. This new result leads to a tighter bound on the complexity of model counting. Second, we show that the output of the algorithm can be converted in linear time to a sentential decision diagram (SDD), which leads to a tighter bound on the complexity of compiling CNFs into SDDs." @default.
• W89760577 created "2016-06-24" @default.
• W89760577 creator A5027252816 @default.
• W89760577 creator A5049852449 @default.
• W89760577 date "2014-01-01" @default.
• W89760577 modified "2023-09-29" @default.
• W89760577 title "On Compiling CNF into Decision-DNNF" @default.
• W89760577 cites W1518905819 @default.
• W89760577 cites W1686746446 @default.
• W89760577 cites W179198942 @default.
• W89760577 cites W180988575 @default.
• W89760577 cites W1986660301 @default.
• W89760577 cites W2002722727 @default.
• W89760577 cites W2006912660 @default.
• W89760577 cites W2014064621 @default.
• W89760577 cites W2057361103 @default.
• W89760577 cites W2062818807 @default.
• W89760577 cites W2062897452 @default.
• W89760577 cites W2080267935 @default.
• W89760577 cites W2112319917 @default.
• W89760577 cites W2186752618 @default.
• W89760577 cites W2402839980 @default.
• W89760577 cites W2403854598 @default.
• W89760577 cites W5450866 @default.
• W89760577 cites W88660202 @default.
• W89760577 cites W1626843795 @default.
• W89760577 cites W2962765957 @default.
• W89760577 doi "https://doi.org/10.1007/978-3-319-10428-7_7" @default.
• W89760577 hasPublicationYear "2014" @default.
• W89760577 type Work @default.
• W89760577 sameAs 89760577 @default.
• W89760577 citedByCount "24" @default.
• W89760577 countsByYear W897605772014 @default.
• W89760577 countsByYear W897605772015 @default.
• W89760577 countsByYear W897605772016 @default.
• W89760577 countsByYear W897605772017 @default.
• W89760577 countsByYear W897605772018 @default.
• W89760577 countsByYear W897605772019 @default.
• W89760577 countsByYear W897605772020 @default.
• W89760577 countsByYear W897605772021 @default.
• W89760577 countsByYear W897605772022 @default.
• W89760577 countsByYear W897605772023 @default.
• W89760577 crossrefType "book-chapter" @default.
• W89760577 hasAuthorship W89760577A5027252816 @default.
• W89760577 hasAuthorship W89760577A5049852449 @default.
• W89760577 hasConcept C11413529 @default.
• W89760577 hasConcept C115988155 @default.
• W89760577 hasConcept C132525143 @default.
• W89760577 hasConcept C132569581 @default.
• W89760577 hasConcept C134306372 @default.
• W89760577 hasConcept C151376022 @default.
• W89760577 hasConcept C154945302 @default.
• W89760577 hasConcept C179799912 @default.
• W89760577 hasConcept C199360897 @default.
• W89760577 hasConcept C203776342 @default.
• W89760577 hasConcept C20837028 @default.
• W89760577 hasConcept C2185349 @default.
• W89760577 hasConcept C26517878 @default.
• W89760577 hasConcept C311688 @default.
• W89760577 hasConcept C33923547 @default.
• W89760577 hasConcept C34388435 @default.
• W89760577 hasConcept C38652104 @default.
• W89760577 hasConcept C41008148 @default.
• W89760577 hasConcept C43517604 @default.
• W89760577 hasConcept C77553402 @default.
• W89760577 hasConcept C80444323 @default.
• W89760577 hasConcept C84525736 @default.
• W89760577 hasConceptScore W89760577C11413529 @default.
• W89760577 hasConceptScore W89760577C115988155 @default.
• W89760577 hasConceptScore W89760577C132525143 @default.
• W89760577 hasConceptScore W89760577C132569581 @default.
• W89760577 hasConceptScore W89760577C134306372 @default.
• W89760577 hasConceptScore W89760577C151376022 @default.
• W89760577 hasConceptScore W89760577C154945302 @default.
• W89760577 hasConceptScore W89760577C179799912 @default.
• W89760577 hasConceptScore W89760577C199360897 @default.
• W89760577 hasConceptScore W89760577C203776342 @default.
• W89760577 hasConceptScore W89760577C20837028 @default.
• W89760577 hasConceptScore W89760577C2185349 @default.
• W89760577 hasConceptScore W89760577C26517878 @default.
• W89760577 hasConceptScore W89760577C311688 @default.
• W89760577 hasConceptScore W89760577C33923547 @default.
• W89760577 hasConceptScore W89760577C34388435 @default.
• W89760577 hasConceptScore W89760577C38652104 @default.
• W89760577 hasConceptScore W89760577C41008148 @default.
• W89760577 hasConceptScore W89760577C43517604 @default.
• W89760577 hasConceptScore W89760577C77553402 @default.
• W89760577 hasConceptScore W89760577C80444323 @default.
• W89760577 hasConceptScore W89760577C84525736 @default.
• W89760577 hasLocation W897605771 @default.
• W89760577 hasOpenAccess W89760577 @default.
• W89760577 hasPrimaryLocation W897605771 @default.
• W89760577 hasRelatedWork W1584965761 @default.
• W89760577 hasRelatedWork W1589381382 @default.
• W89760577 hasRelatedWork W2107287896 @default.
• W89760577 hasRelatedWork W2128906567 @default.
• W89760577 hasRelatedWork W266537895 @default.
• W89760577 hasRelatedWork W2951337747 @default.

• next