FRINK Linked Data Fragments server

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

• W2963886128 endingPage "594" @default.
• W2963886128 startingPage "568" @default.
• W2963886128 abstract "Courcelle’s theorem states that every problem definable in Monadic Second-Order logic can be solved in linear time on structures of bounded treewidth, for example, by constructing a tree automaton that recognizes or rejects a tree decomposition of the structure. Existing, optimized software like the MONA tool can be used to build the corresponding tree automata, which for bounded treewidth are of constant size. Unfortunately, the constants involved can become extremely large—every quantifier alternation requires a power set construction for the automaton. Here, the required space can become a problem in practical applications. In this paper, we present a novel, direct approach based on model checking games, which avoids the expensive power set construction. Experiments with an implementation are promising, and we can solve problems on graphs where the automata-theoretic approach fails in practice. ► MSO-definable problems can be solved in linear time on graphs of bounded treewidth. ► Construction of tree automata often fails in practice due to state explosion. ► A new game-theoretic approach is introduced to avoid the power set construction. ► Experiments indicate feasibility." @default.
• W2963886128 created "2019-07-30" @default.
• W2963886128 creator A5062653045 @default.
• W2963886128 creator A5076092166 @default.
• W2963886128 creator A5078316872 @default.
• W2963886128 date "2011-11-01" @default.
• W2963886128 modified "2023-10-16" @default.
• W2963886128 title "Courcelle’s theorem—A game-theoretic approach" @default.
• W2963886128 cites W1511526676 @default.
• W2963886128 cites W1965237160 @default.
• W2963886128 cites W1966875984 @default.
• W2963886128 cites W1990761146 @default.
• W2963886128 cites W2013967419 @default.
• W2963886128 cites W2016416699 @default.
• W2963886128 cites W2028357390 @default.
• W2963886128 cites W2029448190 @default.
• W2963886128 cites W2034183528 @default.
• W2963886128 cites W2035020702 @default.
• W2963886128 cites W2046652577 @default.
• W2963886128 cites W2053991811 @default.
• W2963886128 cites W2059372025 @default.
• W2963886128 cites W2064149002 @default.
• W2963886128 cites W2064796716 @default.
• W2963886128 cites W2066585576 @default.
• W2963886128 cites W2067264828 @default.
• W2963886128 cites W2073663206 @default.
• W2963886128 cites W2085467680 @default.
• W2963886128 cites W2085550081 @default.
• W2963886128 cites W2087083200 @default.
• W2963886128 cites W2088523331 @default.
• W2963886128 cites W2116793595 @default.
• W2963886128 cites W2135382359 @default.
• W2963886128 cites W2951007762 @default.
• W2963886128 cites W3183889129 @default.
• W2963886128 doi "https://doi.org/10.1016/j.disopt.2011.06.001" @default.
• W2963886128 hasPublicationYear "2011" @default.
• W2963886128 type Work @default.
• W2963886128 sameAs 2963886128 @default.
• W2963886128 citedByCount "39" @default.
• W2963886128 countsByYear W29638861282012 @default.
• W2963886128 countsByYear W29638861282013 @default.
• W2963886128 countsByYear W29638861282014 @default.
• W2963886128 countsByYear W29638861282015 @default.
• W2963886128 countsByYear W29638861282016 @default.
• W2963886128 countsByYear W29638861282017 @default.
• W2963886128 countsByYear W29638861282018 @default.
• W2963886128 countsByYear W29638861282019 @default.
• W2963886128 countsByYear W29638861282020 @default.
• W2963886128 countsByYear W29638861282021 @default.
• W2963886128 countsByYear W29638861282022 @default.
• W2963886128 crossrefType "journal-article" @default.
• W2963886128 hasAuthorship W2963886128A5062653045 @default.
• W2963886128 hasAuthorship W2963886128A5076092166 @default.
• W2963886128 hasAuthorship W2963886128A5078316872 @default.
• W2963886128 hasBestOaLocation W29638861282 @default.
• W2963886128 hasConcept C110251889 @default.
• W2963886128 hasConcept C112505250 @default.
• W2963886128 hasConcept C113174947 @default.
• W2963886128 hasConcept C114614502 @default.
• W2963886128 hasConcept C118615104 @default.
• W2963886128 hasConcept C132525143 @default.
• W2963886128 hasConcept C132569581 @default.
• W2963886128 hasConcept C134306372 @default.
• W2963886128 hasConcept C203776342 @default.
• W2963886128 hasConcept C2778583254 @default.
• W2963886128 hasConcept C33923547 @default.
• W2963886128 hasConcept C34388435 @default.
• W2963886128 hasConcept C41008148 @default.
• W2963886128 hasConcept C43517604 @default.
• W2963886128 hasConcept C70501317 @default.
• W2963886128 hasConcept C80444323 @default.
• W2963886128 hasConceptScore W2963886128C110251889 @default.
• W2963886128 hasConceptScore W2963886128C112505250 @default.
• W2963886128 hasConceptScore W2963886128C113174947 @default.
• W2963886128 hasConceptScore W2963886128C114614502 @default.
• W2963886128 hasConceptScore W2963886128C118615104 @default.
• W2963886128 hasConceptScore W2963886128C132525143 @default.
• W2963886128 hasConceptScore W2963886128C132569581 @default.
• W2963886128 hasConceptScore W2963886128C134306372 @default.
• W2963886128 hasConceptScore W2963886128C203776342 @default.
• W2963886128 hasConceptScore W2963886128C2778583254 @default.
• W2963886128 hasConceptScore W2963886128C33923547 @default.
• W2963886128 hasConceptScore W2963886128C34388435 @default.
• W2963886128 hasConceptScore W2963886128C41008148 @default.
• W2963886128 hasConceptScore W2963886128C43517604 @default.
• W2963886128 hasConceptScore W2963886128C70501317 @default.
• W2963886128 hasConceptScore W2963886128C80444323 @default.
• W2963886128 hasIssue "4" @default.
• W2963886128 hasLocation W29638861281 @default.
• W2963886128 hasLocation W29638861282 @default.
• W2963886128 hasLocation W29638861283 @default.
• W2963886128 hasOpenAccess W2963886128 @default.
• W2963886128 hasPrimaryLocation W29638861281 @default.
• W2963886128 hasRelatedWork W1582302366 @default.
• W2963886128 hasRelatedWork W173662904 @default.
• W2963886128 hasRelatedWork W1980883259 @default.
• W2963886128 hasRelatedWork W1989746243 @default.
• W2963886128 hasRelatedWork W2407805022 @default.

• next