The dag-width of directed graphs
DOI10.1016/j.jctb.2012.04.004zbMath1246.05065OpenAlexW2127618440WikidataQ58215516 ScholiaQ58215516MaRDI QIDQ444380
Anuj Dawar, Paul Hunter, Dietmar Berwanger, Jan Obdržálek, Stephan Kreutzer
Publication date: 14 August 2012
Published in: Journal of Combinatorial Theory. Series B (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jctb.2012.04.004
parity gamesgraph searching gamesstructural graph theorydigraph algorithmsdirected graph decompositions
Graph minors (05C83) Graph algorithms (graph-theoretic aspects) (05C85) Directed graphs (digraphs), tournaments (05C20) Games on graphs (graph-theoretic aspects) (05C57)
Related Items (30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Graph minors. III. Planar tree-width
- Results on the propositional \(\mu\)-calculus
- Digraph measures: Kelly decompositions, games, and orderings
- Graph searching and a min-max theorem for tree-width
- Fugitive-search games on graphs and related parameters
- Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
- Searching and pebbling
- Directed tree-width
- Directed path-width and monotonicity in digraph searching
- The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
- Directed tree-width examples
- DAG-width
- Clique-Width and Parity Games
- Complexity of Finding Embeddings in a k-Tree
- Alternation
- Digraph Decompositions and Monotonicity in Digraph Searching
- DAG-Width and Parity Games
- Mathematical Foundations of Computer Science 2005
- Logic for Programming, Artificial Intelligence, and Reasoning
- Computer Aided Verification
- On model checking for the \(\mu\)-calculus and its fragments
This page was built for publication: The dag-width of directed graphs