?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
1
Model Checking Disjoint-Paths Logic on Topological-Minor-Fr..:
, In:
?
Lecture Notes in Computer Science; SOFSEM 2024: Theory and Practice of Computer Science ,
3
Data Reduction for Directed Feedback Vertex Set on Graphs W..:
, In:
?
Proceedings of the 55th Annual ACM Symposium on Theory of Computing ,
10
First-Order Model Checking on Structurally Sparse Graph Cla..:
, In:
?
Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science ,
13
Token Sliding on Graphs of Girth Five:
, In:
?
Structural Information and Communication Complexity; Lecture Notes in Computer Science ,
14