„Algorithmic meta-theorems“

Suchergebnisse

12 Treffer

• Compound Logics for Modification Problems
  Fomin, Fedor V. ; Golovach, Petr A. ; Sau, Ignasi ; Stamoulis, Giannos ; Thilikos, Dimitrios M. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Two new perspectives on algorithmic meta-theorems – evaluating approximate first-order counting queries on bounded expansion and first-order queries on random graphs
  Dreier, Jan ; Rossmanith, Peter ; Siebertz, Sebastian 2020 Universitätsbibliothek der RWTH Aachen
• Monadically stable and monadically dependent graph classes: characterizations and algorithmic meta-theorems
  Mählmann, Nikolas ; Siebertz, Sebastian ; Ossona de Mendez, Patrice 2024 Staats- und Universitätsbibliothek Bremen
• Nowhere dense classes of graphs – characterisations and algorithmic meta-theorems
  Siebertz, Sebastian ; Kreutzer, Stephan ; Ossona de Mendez, Patrice ; Král’, Daniel 2016 Universitätsverlag der TU Berlin
• Advances in Algorithmic Meta Theorems (Invited Paper)
  Siebertz, Sebastian ; Vigny, Alexandre 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOL
  Fomin, Fedor V. ; Golovach, Petr A. ; Stamoulis, Giannos ; Thilikos, Dimitrios M. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• First Order Logic on Pathwidth Revisited Again
  Lampis, Michael 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited
  Gima, Tatsuya ; Ito, Takehiro ; Kobayashi, Yasuaki ; Otachi, Yota 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Current Trends and New Perspectives for First-Order Model Checking (Invited Talk)
  Kreutzer, Stephan 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algorithmic Meta Theorems for Circuit Classes of Constant and Logarithmic Depth
  Elberfeld, Michael ; Jakoby, Andreas ; Tantau, Till 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nowhere dense classes of graphs – characterisations and algorithmic meta-theorems
  Siebertz, Sebastian 2016 Universitätsverlag der TU Berlin
• Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited
  Gima, Tatsuya ; Ito, Takehiro ; Kobayashi, Yasuaki ; Otachi, Yota