Author:
Ganian Robert,Hliněný Petr,Langer Alexander,Obdržálek Jan,Rossmanith Peter,Sikdar Somnath
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference23 articles.
1. Complexity of inference in graphical models;Chandrasekaran,2008
2. The monadic second order logic of graphs I: Recognizable sets of finite graphs;Courcelle;Inform. and Comput.,1990
3. Graph Structure and Monadic Second-Order Logic: A Language Theoretic Approach;Courcelle,2012
4. Linear time solvable optimization problems on graphs of bounded clique-width;Courcelle;Theory Comput. Syst.,2000
5. Strong edge-coloring of graphs with maximum degree 4 using 22 colors;Cranston;Discrete Math.,2006
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. First-order Logic with Connectivity Operators;ACM Transactions on Computational Logic;2023-07-25
3. First-Order Model Checking on Structurally Sparse Graph Classes;Proceedings of the 55th Annual ACM Symposium on Theory of Computing;2023-06-02
4. Model Checking on Interpretations of Classes of Bounded Local Cliquewidth;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
5. Boolean functional synthesis: hardness and practical algorithms;Formal Methods in System Design;2020-10-21