21 citations · 54 across the 15 of their papers we have counts for
28 papers
Support Size Estimation: The Power of Conditioning
Diptarka Chakraborty, Gunjan Kumar, Kuldeep S. Meel
We consider the problem of estimating the support size of a distribution . Our investigations are pursued through the lens of distribution testing and seek to understand the pow…
CCDD: A Tractable Representation for Model Counting and Uniform Sampling
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Knowledge compilation concerns with the compilation of representation languages to target languages supporting a wide range of tractable operations arising from diverse areas of co…
Engineering an Efficient Boolean Functional Synthesis Engine
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy +1
Given a Boolean specification between a set of inputs and outputs, the problem of Boolean functional synthesis is to synthesise each output as a function of inputs such that the sp…
Partition Function Estimation: A Quantitative Study
Durgesh Agrawal, Yash Pote, Kuldeep S Meel
Probabilistic graphical models have emerged as a powerful modeling tool for several real-world scenarios where one needs to reason under uncertainty. A graphical model's partition…
Program Synthesis as Dependency Quantified Formula Modulo Theory
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Given a specification over inputs and output , defined over a background theory , the problem of program synthesis is to design a program such that…
Model Counting meets F0 Estimation
A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya +1
Constraint satisfaction problems (CSP's) and data stream models are two powerful abstractions to capture a wide variety of problems arising in different domains of computer science…