82 citations · 369 across the 63 of their papers we have counts for
5 papers · 1 filter
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…
Predicting Forest Fire Using Remote Sensing Data And Machine Learning
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
Over the last few decades, deforestation and climate change have caused increasing number of forest fires. In Southeast Asia, Indonesia has been the most affected country by tropic…