Sebastian Siebertz

1. Deciding first-order properties of nowhere dense graphs
   2013/11/15 by Martin Grohe, Stephan Kreutzer, Grohe, Martin +3 · 7 citations
   Computer Science · Mathematics · #Advanced Graph Theory Research #Combinatorics (math.CO) #Complexity and Algorithms in Graphs #FOS: Computer and information sciences #FOS: Mathematics #Limits and Structures in Graph Theory #Logic in Computer Science (cs.LO)
2. Vertex Cover Reconfiguration and Beyond
   2014/02/20 by Amer E. Mouawad, Naomi Nishimura, Mouawad, Amer E. +5 · 2 citations
   Computer Science · Engineering · #Advanced Graph Theory Research #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Interconnection Networks and Systems #graph theory and CDMA systems
3. First-Order Model Checking on Structurally Sparse Graph Classes
   2023/02/07 by Jan Dreier, Dreier, Jan, Nikolas Mählmann +3 · 4 citations
   Computer Science · #Complexity and Algorithms in Graphs #Formal Methods in Verification #Logic, Reasoning, and Knowledge
4. Classes of graphs with low complexity: the case of classes with bounded\n linear rankwidth
   2019/09/04 by Jaroslav Nešetřil, Patrice Ossona de Mendez, Nesetril, Jaroslav +5 · 2 citations
   Computer Science · Mathematics · #Advanced Graph Theory Research #Advanced Topology and Set Theory #Limits and Structures in Graph Theory
5. On first-order transductions of classes of graphs
   2022/08/30 by Samuel Braunfeld, Jaroslav Nešetřil, Braunfeld, Samuel +5 · 2 citations
   Computer Science · #Advanced Algebra and Logic #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
6. Token sliding on graphs of girth five
   2022/05/02 by Valentin Bartier, Nicolás Bousquet, Bartier, Valentin +7 · 2 citations
   Computer Science · #Advanced Graph Theory Research #semigroups and automata theory #Algorithms and Data Compression
7. A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems
   2022/04/22 by Nicolás Bousquet, Amer E. Mouawad, Bousquet, Nicolas +5 · 2 citations
   Computer Science · #Advanced Graph Theory Research #Combinatorics (math.CO) #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #semigroups and automata theory
8. Parameterized circuit complexity of model checking first-order logic on\n sparse structures
   2018/05/09 by Michał Pilipczuk, Pilipczuk, Michał, Sebastian Siebertz +3 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #semigroups and automata theory
9. On Solution Discovery via Reconfiguration
   2023/04/27 by Michael R. Fellows, Fellows, Michael R., Mario Grobler +13 · 2 citations
   Computer Science · #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences
10. On the Parameterized Complexity of Reconfiguration of Connected\n Dominating Sets
    2019/10/01 by Daniel Lokshtanov, Lokshtanov, Daniel, Amer E. Mouawad +5 · 1 citation
    Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Graph Theory Research #Advanced Optical Network Technologies #Combinatorics (math.CO) #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #Enzyme Catalysis and Immobilization #FOS: Computer and information sciences #FOS: Mathematics
11. Algorithms and data structures for first-order logic with connectivity under vertex failures
    2021/11/05 by Michał Pilipczuk, Pilipczuk, Michał, Nicole Schirrmacher +7 · 1 citation
    Computer Science · #Advanced Graph Theory Research #Combinatorics (math.CO) #Complexity and Algorithms in Graphs #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
12. Kernelization Complexity of Solution Discovery Problems
    2024/09/25 by Mario Grobler, Grobler, Mario, Stephanie Maaz +9 · 2 citations
    Chemistry · Computer Science · #AI-based Problem Solving and Planning #Combinatorics (math.CO) #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics #Graph Theory and Algorithms #History and advancements in chemistry