9 citations · 25 across the 17 of their papers we have counts for
Showing 2018 · cs.DSShow all
2 papers · 2 filters
cs.DS2018
Alternative parameterizations of Metric Dimension
Gregory Gutin, M. S. Ramanujan, Felix Reidl +1
A set of vertices in a graph is called resolving if for any two distinct , there is such that , where ${\rm di…
cs.DS2018
Reducing CMSO Model Checking to Highly Connected Graphs
Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh +1
Given a Counting Monadic Second Order (CMSO) sentence , the CMSO problem is defined as follows. The input to CMSO is a graph , and the objective is to determine whe…