5 citations · 5 across the 15 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.DS2022
Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited
Tatsuya Gima, Takehiro Ito, Yasuaki Kobayashi +1
Given a graph and two vertex sets satisfying a certain feasibility condition, a reconfiguration problem asks whether we can reach one vertex set from the other by repeating prescri…
cs.DS2022★ 5 cited
Extended MSO Model Checking via Small Vertex Integrity
Tatsuya Gima, Yota Otachi
We study the model checking problem of an extended with local and global cardinality constraints, called , introduced rece…