Extended MSO model checking via small vertex integrity (Q6185940): Difference between revisions

@@ Property / OpenAlex ID @@
+W4385667336
@@ Property / OpenAlex ID: W4385667336 / rank @@
+Normal rank
@@ Property / cites work @@
+Easy problems for tree-decomposable graphs
@@ Property / cites work: Easy problems for tree-decomposable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789603
@@ Property / cites work: Q3789603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5874480
@@ Property / cites work: Q5874480 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized (Approximate) Defective Coloring
@@ Property / cites work: Parameterized (Approximate) Defective Coloring / rank @@
+Normal rank
@@ Property / cites work @@
+Defensive alliances in graphs of bounded treewidth
+Normal rank
@@ Property / cites work @@
+A partial k-arboretum of graphs with bounded treewidth
+Normal rank
@@ Property / cites work @@
+Subgraph isomorphism on graph classes that exclude a substructure
+Normal rank
@@ Property / cites work @@
+Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families
+Normal rank
@@ Property / cites work @@
+An algorithmic framework for locally constrained homomorphisms
+Normal rank
@@ Property / cites work @@
+Q3423990
@@ Property / cites work: Q3423990 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear time solvable optimization problems on graphs of bounded clique-width
+Normal rank
@@ Property / cites work @@
+Defective colorings of graphs in surfaces: Partitions into subgraphs of bounded valency
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms
@@ Property / cites work: Parameterized Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Capacitated Domination and Covering: A Parameterized Perspective
+Normal rank
@@ Property / cites work @@
+On the computational complexity of vertex integrity and component order connectivity
+Normal rank
@@ Property / cites work @@
+The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints
+Normal rank
@@ Property / cites work @@
+What Makes Equitable Connected Partition Easy
@@ Property / cites work: What Makes Equitable Connected Partition Easy / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of some colorful problems parameterized by treewidth
+Normal rank
@@ Property / cites work @@
+Graph Layout Problems Parameterized by Vertex Cover
+Normal rank
@@ Property / cites work @@
+A survey on alliances and related parameters in graphs
+Normal rank
@@ Property / cites work @@
+Parameterized complexity of coloring problems: treewidth versus vertex cover
+Normal rank
@@ Property / cites work @@
+An application of simultaneous diophantine approximation in combinatorial optimization
+Normal rank
@@ Property / cites work @@
+The complexity of first-order and monadic second-order logic revisited
+Normal rank
@@ Property / cites work @@
+Q4470237
@@ Property / cites work: Q4470237 / rank @@
+Normal rank
@@ Property / cites work @@
+Safe number and integrity of graphs
@@ Property / cites work: Safe number and integrity of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Safe set problem on graphs
@@ Property / cites work: Safe set problem on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
+Normal rank
@@ Property / cites work @@
+Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics
+Normal rank
@@ Property / cites work @@
+When Trees Grow Low: Shrubs and Fast MSO1
@@ Property / cites work: When Trees Grow Low: Shrubs and Fast MSO1 / rank @@
+Normal rank
@@ Property / cites work @@
+On structural parameterizations of the bounded-degree vertex deletion problem
+Normal rank
@@ Property / cites work @@
+Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes
+Normal rank
@@ Property / cites work @@
+Exploring the gap between treedepth and vertex cover through vertex integrity
+Normal rank
@@ Property / cites work @@
+Q3118384
@@ Property / cites work: Q3118384 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing the easy-to-find subgraphs from the viewpoint of polynomial-time algorithms, kernels, and Turing kernels
+Normal rank
@@ Property / cites work @@
+Bin packing with fixed number of bins revisited
@@ Property / cites work: Bin packing with fixed number of bins revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Minkowski's Convex Body Theorem and Integer Programming
+Normal rank
@@ Property / cites work @@
+Q5092394
@@ Property / cites work: Q5092394 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity
+Normal rank
@@ Property / cites work @@
+Q3172385
@@ Property / cites work: Q3172385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4820818
@@ Property / cites work: Q4820818 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic meta-theorems for restrictions of treewidth
+Normal rank
@@ Property / cites work @@
+Integer Programming with a Fixed Number of Variables
+Normal rank
@@ Property / cites work @@
+Fair edge deletion problems
@@ Property / cites work: Fair edge deletion problems / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized complexity of fair deletion problems
+Normal rank
@@ Property / cites work @@
+Q3012402
@@ Property / cites work: Q3012402 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second order logic on graphs with local cardinality constraints
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6185940