activity
20122024
most citedFO Model Checking on Posets of Bounded Width

6 citations · 9 across the 9 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.DS2020

On the Parameterized Complexity of Deletion to -free Strong Components

Rian Neogi, M. S. Ramanujan, Saket Saurabh +1

{\sc Directed Feedback Vertex Set (DFVS)} is a fundamental computational problem that has received extensive attention in parameterized complexity. In this paper, we initiate the s…