Venkatesh Raman

activity

20072023

most citedSuccinct Indexable Dictionaries with Applications to Encoding

k

-ary Trees, Prefix Sums and Multisets

375 citations · 494 across the 29 of their papers we have counts for

collaborators

Showing 2015Show all

2 papers · 1 filter

cs.DS2015

Parameterized Algorithms on Perfect Graphs for deletion to $(r, ℓ)$ -graphs

Sudeshna Kolay, Fahad Panolan, Venkatesh Raman +1

For fixed integers $r, ℓ \geq 0$ , a graph $G$ is called an {\em $(r, ℓ)$ -graph} if the vertex set $V (G)$ can be partitioned into $r$ independent sets and $ℓ$ cliques. The cl…

cs.SE2015★ 7 cited

SAT-based Analysis of Large Real-world Feature Models is Easy

Jia Hui Liang, Vijay Ganesh, Venkatesh Raman +1

Modern conflict-driven clause-learning (CDCL) Boolean SAT solvers provide efficient automatic analysis of real-world feature models (FM) of systems ranging from cars to operating s…

Parameterized Algorithms on Perfect Graphs for deletion to (r,ℓ)-graphs

SAT-based Analysis of Large Real-world Feature Models is Easy

Parameterized Algorithms on Perfect Graphs for deletion to $(r, ℓ)$ -graphs