Subhajit Roy

activity

20152023

most citedSymbolic Execution for Randomized Programs

17 citations · 25 across the 11 of their papers we have counts for

collaborators

Showing 2023Show all

2 papers · 1 filter

math.AP2023

On Weighted Orlicz-Sobolev inequalities

T V Anoop, Ujjal Das, Subhajit Roy

Let $Ω$ be an open subset of $R^{N}$ with $N \geq 2.$ We identify various classes of Young functions $Φ$ and $Ψ$ , and function spaces for a weight function $g$ so that the fo…

cs.LO2023

Synthesis with Explicit Dependencies

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Quantified Boolean Formulas (QBF) extend propositional logic with quantification $\forall, \exists$ . In QBF, an existentially quantified variable is allowed to depend on all univer…