Kuldeep S. Meel

National University of Singapore , Singapore

13 papers in the IJCAI proceedings

IJCAI 2023

Engineering an Efficient Approximate DNF-Counter

with Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Maciej Obremski

doi:10.24963/ijcai.2023/226

Details PDF

On Approximating Total Variation Distance

with Arnab Bhattacharyya, Sutanu Gayen, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran

doi:10.24963/ijcai.2023/387

Details PDF

Solving the Identifying Code Set Problem with Grouped Independent Support

with Anna L.D. Latour, Arunabha Sen

doi:10.24963/ijcai.2023/219

Details PDF

IJCAI 2022

Counting, Sampling, and Synthesis: The Quest for Scalability

doi:10.24963/ijcai.2022/817

Details PDF

IJCAI 2021

Partition Function Estimation: A Quantitative Study

with Durgesh Agrawal, Yash Pote

doi:10.24963/ijcai.2021/587

Details PDF

Program Synthesis as Dependency Quantified Formula Modulo Theory

with Priyanka Golia, Subhajit Roy

doi:10.24963/ijcai.2021/261

Details PDF

IJCAI 2019

GANAK: A Scalable Probabilistic Exact Model Counter

with Shubham Sharma, Subhajit Roy, Mate Soos

doi:10.24963/ijcai.2019/163

Details PDF

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract)

with Aditya A. Shrotri, Moshe Y. Vardi

doi:10.24963/ijcai.2019/865

Details PDF

Phase Transition Behavior of Cardinality and XOR Constraints

with Yash Pote, Saurabh Joshi

doi:10.24963/ijcai.2019/162

Details PDF

IJCAI 2017

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas

with Jeffrey M. Dudek, Moshe Y. Vardi

doi:10.24963/ijcai.2017/84

Details PDF

IJCAI 2016

Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls

with Supratik Chakraborty, Moshe Y. Vardi

Details PDF

Combining the k-CNF and XOR Phase-Transitions

with Jeffrey M. Dudek, Moshe Y. Vardi

Details PDF

IJCAI 2015

From Weighted to Unweighted Model Counting

with Supratik Chakraborty, Dror Fried, Moshe Y. Vardi

Details PDF