Proceedings

Kuldeep S. Meel

10 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
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards