Chakraborty, Supratik

8 publications

IJCAI 2025 LP-Based Weighted Model Integration over Non-Linear Real Arithmetic S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic

AAAI 2024 Auditable Algorithms for Approximate Model Counting Kuldeep S. Meel, Supratik Chakraborty, S. Akshay

AAAI 2024 Exact ASP Counting with Compact Encodings Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

AAAI 2019 On the Hardness of Probabilistic Inference Relaxations Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

IJCAI 2016 Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

AAAI 2016 Approximate Probabilistic Inference via Word-Level Counting Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi

IJCAI 2015 From Weighted to Unweighted Model Counting Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi

AAAI 2014 Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi