Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539278744> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1539278744 endingPage "503" @default.
- W1539278744 startingPage "489" @default.
- W1539278744 abstract "The treewidth of a graph measures how close the graph is to a tree. Many problems that are intractable for general graphs, are tractable when the graph has bounded treewidth. Recent works study the complexity of model checking for state transition systems of bounded treewidth. There is little reason to believe, however, that the treewidth of the state transition graphs of real systems, which we refer to as global treewidth, is bounded. In contrast, we consider in this paper concurrent transition systems, where communication between concurrent components is modeled explicitly. Assuming boundedness of the treewidth of the communication graph, which we refer to as local treewidth, is reasonable, since the topology of communication in concurrent systems is often constrained physically. In this work we study the impact of local treewidth boundedness on the complexity of verification problems. We first present a positive result, proving that a CNF formula of bounded treewidth can be represented by an OBDD of polynomial size. We show, however, that the nice properties of treewidth-bounded CNF formulas are not preserved under existential quantification or unrolling. Finally, we show that the complexity of various verification problems is high even under the assumption of local treewidth boundedness. In summary, while global treewidth boundedness does have computational advantages, it is not a realistic assumption; in contrast, local treewidth boundedness is a realistic assumption, but its computational advantages are rather meager." @default.
- W1539278744 created "2016-06-24" @default.
- W1539278744 creator A5000059818 @default.
- W1539278744 creator A5017817489 @default.
- W1539278744 creator A5055387284 @default.
- W1539278744 date "2005-01-01" @default.
- W1539278744 modified "2023-10-17" @default.
- W1539278744 title "Treewidth in Verification: Local vs. Global" @default.
- W1539278744 cites W1483143799 @default.
- W1539278744 cites W1537449969 @default.
- W1539278744 cites W1569872967 @default.
- W1539278744 cites W1592338211 @default.
- W1539278744 cites W1594732291 @default.
- W1539278744 cites W1758995468 @default.
- W1539278744 cites W1966825814 @default.
- W1539278744 cites W1988808695 @default.
- W1539278744 cites W2001130632 @default.
- W1539278744 cites W2004306067 @default.
- W1539278744 cites W2029448190 @default.
- W1539278744 cites W2033405938 @default.
- W1539278744 cites W2061734130 @default.
- W1539278744 cites W2070574955 @default.
- W1539278744 cites W2080267935 @default.
- W1539278744 cites W2087083200 @default.
- W1539278744 cites W2100342064 @default.
- W1539278744 cites W2108016168 @default.
- W1539278744 cites W2133853963 @default.
- W1539278744 cites W2142133061 @default.
- W1539278744 cites W4231640108 @default.
- W1539278744 cites W4239399053 @default.
- W1539278744 cites W4300021588 @default.
- W1539278744 doi "https://doi.org/10.1007/11591191_34" @default.
- W1539278744 hasPublicationYear "2005" @default.
- W1539278744 type Work @default.
- W1539278744 sameAs 1539278744 @default.
- W1539278744 citedByCount "40" @default.
- W1539278744 countsByYear W15392787442012 @default.
- W1539278744 countsByYear W15392787442013 @default.
- W1539278744 countsByYear W15392787442014 @default.
- W1539278744 countsByYear W15392787442015 @default.
- W1539278744 countsByYear W15392787442016 @default.
- W1539278744 countsByYear W15392787442019 @default.
- W1539278744 countsByYear W15392787442020 @default.
- W1539278744 countsByYear W15392787442021 @default.
- W1539278744 countsByYear W15392787442022 @default.
- W1539278744 countsByYear W15392787442023 @default.
- W1539278744 crossrefType "book-chapter" @default.
- W1539278744 hasAuthorship W1539278744A5000059818 @default.
- W1539278744 hasAuthorship W1539278744A5017817489 @default.
- W1539278744 hasAuthorship W1539278744A5055387284 @default.
- W1539278744 hasConcept C102192266 @default.
- W1539278744 hasConcept C114614502 @default.
- W1539278744 hasConcept C118615104 @default.
- W1539278744 hasConcept C128764233 @default.
- W1539278744 hasConcept C132525143 @default.
- W1539278744 hasConcept C132569581 @default.
- W1539278744 hasConcept C134306372 @default.
- W1539278744 hasConcept C160446614 @default.
- W1539278744 hasConcept C203776342 @default.
- W1539278744 hasConcept C33923547 @default.
- W1539278744 hasConcept C34388435 @default.
- W1539278744 hasConcept C43517604 @default.
- W1539278744 hasConcept C69284658 @default.
- W1539278744 hasConcept C70501317 @default.
- W1539278744 hasConceptScore W1539278744C102192266 @default.
- W1539278744 hasConceptScore W1539278744C114614502 @default.
- W1539278744 hasConceptScore W1539278744C118615104 @default.
- W1539278744 hasConceptScore W1539278744C128764233 @default.
- W1539278744 hasConceptScore W1539278744C132525143 @default.
- W1539278744 hasConceptScore W1539278744C132569581 @default.
- W1539278744 hasConceptScore W1539278744C134306372 @default.
- W1539278744 hasConceptScore W1539278744C160446614 @default.
- W1539278744 hasConceptScore W1539278744C203776342 @default.
- W1539278744 hasConceptScore W1539278744C33923547 @default.
- W1539278744 hasConceptScore W1539278744C34388435 @default.
- W1539278744 hasConceptScore W1539278744C43517604 @default.
- W1539278744 hasConceptScore W1539278744C69284658 @default.
- W1539278744 hasConceptScore W1539278744C70501317 @default.
- W1539278744 hasLocation W15392787441 @default.
- W1539278744 hasOpenAccess W1539278744 @default.
- W1539278744 hasPrimaryLocation W15392787441 @default.
- W1539278744 hasRelatedWork W1485639265 @default.
- W1539278744 hasRelatedWork W1568291796 @default.
- W1539278744 hasRelatedWork W2091382007 @default.
- W1539278744 hasRelatedWork W2143406303 @default.
- W1539278744 hasRelatedWork W2223243427 @default.
- W1539278744 hasRelatedWork W2949199930 @default.
- W1539278744 hasRelatedWork W2949940357 @default.
- W1539278744 hasRelatedWork W4285428820 @default.
- W1539278744 hasRelatedWork W6903974 @default.
- W1539278744 hasRelatedWork W186753374 @default.
- W1539278744 isParatext "false" @default.
- W1539278744 isRetracted "false" @default.
- W1539278744 magId "1539278744" @default.
- W1539278744 workType "book-chapter" @default.