Kuldeep S. Meel

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 174

Top Venues

Publications

Anna L. D. Latour, Arunabha Sen, Kaustav Basu, Chenyang Zhou, Kuldeep S. Meel
The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing. CoRR (2024)
Mate Soos, Uddalok Sarkar, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski
Engineering an Efficient Approximate DNF-Counter. CoRR (2024)
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Equivalence Testing: The Power of Bounded Adaptivity. CoRR (2024)
Kuldeep S. Meel, Alexis de Colnet
#CFG and #DNNF admit FPRAS. CoRR (2024)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Formally Certified Approximate Model Counting. CoRR (2024)
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Equivalence Testing: The Power of Bounded Adaptivity. AISTATS (2024)
Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel
Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability. ICDT (2024)
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications. IEEE Trans. Software Eng. 50 (8) (2024)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Formally Certified Approximate Model Counting. CAV (1) (2024)
Suwei Yang, Kuldeep S. Meel
Engineering an Exact Pseudo-Boolean Model Counter. AAAI (2024)
Mohimenul Kabir, Kuldeep S. Meel
On Lower Bounding Minimal Model Count. CoRR (2024)
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
Auditable Algorithms for Approximate Model Counting. AAAI (2024)
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
Total Variation Distance for Product Distributions is #P-Complete. CoRR (2024)
Arijit Shaw, Kuldeep S. Meel
CSB: A Counting and Sampling Tool for Bit-vectors. SMT@CAV (2024)
Arijit Shaw, Brendan Juba, Kuldeep S. Meel
An Approximate Skolem Function Counter. AAAI (2024)
Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur
A faster FPRAS for #NFA. Proc. ACM Manag. Data 2 (2) (2024)
Kuldeep S. Meel, Alexis de Colnet
An FPRAS for #nFBDD. CoRR (2024)
Aduri Pavan, Sourav Chakraborty, N. V. Vinodchandran, Kuldeep S. Meel
On the Feasibility of Forgetting in Data Streams. Proc. ACM Manag. Data 2 (2) (2024)
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
Exact ASP Counting with Compact Encodings. AAAI (2024)
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
On Approximating Total Variation Distance. IJCAI (2023)
Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur
A faster FPRAS for #NFA. CoRR (2023)
Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel
Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability. CoRR (2023)
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
Scalable Probabilistic Routes. CoRR (2023)
Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya
Constraint Optimization over Semirings. CoRR (2023)
Diptarka Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Support Size Estimation: The Power of Conditioning. MFCS (2023)
Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen
Testing of Horn Samplers. AISTATS (2023)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. SAT (2023)
Sourav Chakraborty, N. V. Vinodchandran, Kuldeep S. Meel
Distinct Elements in Streams: An Algorithm for the (Text) Book. CoRR (2023)
Anna L. D. Latour, Arunabha Sen, Kuldeep S. Meel
Solving the Identifying Code Set Problem with Grouped Independent Support. IJCAI (2023)
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
Total Variation Distance Estimation Is as Easy as Probabilistic Inference. CoRR (2023)
Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski
Engineering an Efficient Approximate DNF-Counter. IJCAI (2023)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Synthesis with Explicit Dependencies. DATE (2023)
Gunjan Kumar, Kuldeep S. Meel, Yash Pote
Tolerant Testing of High-Dimensional Samplers with Subcube Conditioning. CoRR (2023)
A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
Model Counting Meets Distinct Elements. Commun. ACM 66 (9) (2023)
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
Scalable Probabilistic Routes. LPAR (2023)
Jiong Yang, Kuldeep S. Meel
Rounding Meets Approximate Model Counting. CoRR (2023)
Yash Pote, Kuldeep S. Meel
On Scalable Testing of Samplers. CoRR (2023)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Synthesis with Explicit Dependencies. CoRR (2023)
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
Total Variation Distance Estimation Is as Easy as Probabilistic Inference. Electron. Colloquium Comput. Complex. (2023)
A. Pavan, N. Variyam Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
Estimation. ACM Trans. Database Syst. 48 (3) (2023)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Fast Converging Anytime Model Counting. AAAI (2023)
Mohimenul Kabir, Kuldeep S. Meel
A Fast and Accurate ASP Counting Based Network Reliability Estimator. LPAR (2023)
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
Scalable Probabilistic Routes. ENIGMA@KR (2023)
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
"How Biased are Your Features?": Computing Fairness Influence Functions with Global Sensitivity Analysis. FAccT (2023)
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
INC: A Scalable Incremental Weighted Sampler. CoRR (2023)
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle? ICALP (2023)
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
Exact ASP Counting with Compact Encodings. CoRR (2023)
Suwei Yang, Kuldeep S. Meel
Engineering an Exact Pseudo-Boolean Model Counter. CoRR (2023)
Kuldeep S. Meel
Distribution Testing: The New Frontier for Formal Methods. FMCAD (2023)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. CoRR (2023)
Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya
Constraint Optimization over Semirings. AAAI (2023)
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
Auditable Algorithms for Approximate Model Counting. CoRR (2023)
Jiong Yang, Kuldeep S. Meel
Rounding Meets Approximate Model Counting. CAV (2) (2023)
Timothy van Bremen, Kuldeep S. Meel
Probabilistic Query Evaluation: The Combined FPRAS Landscape. PODS (2023)
Anna L. D. Latour, Arunabha Sen, Kuldeep S. Meel
Solving the Identifying Code Set Problem with Grouped Independent Support. CoRR (2023)
Arijit Shaw, Brendan Juba, Kuldeep S. Meel
An Approximate Skolem Function Counter. CoRR (2023)
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle? CoRR (2023)
Yacine Izza, Kuldeep S. Meel, João Marques-Silva
Locally-Minimal Probabilistic Explanations. CoRR (2023)
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
A Scalable t-wise Coverage Estimator. ICSE (2022)
A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
Model Counting Meets Distinct Elements in a Data Stream. SIGMOD Rec. 51 (1) (2022)
Mate Soos, Kuldeep S. Meel
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. ICCAD (2022)
Kuldeep S. Meel
Counting, Sampling, and Synthesis: The Quest for Scalability. IJCAI (2022)
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
A Scalable Shannon Entropy Estimator. CAV (1) (2022)
Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel
Efficient Learning of Interpretable Classification Rules. CoRR (2022)
Kuldeep S. Meel, Sourav Chakraborty, N. V. Vinodchandran
Estimation of the Size of Union of Delphic Sets: Achieving Independence from Stream Size. PODS (2022)
Remi Delannoy, Kuldeep S. Meel
On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. LICS (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Fast Converging Anytime Model Counting. CoRR (2022)
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
A Scalable Shannon Entropy Estimator. CoRR (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
CCDD: A Tractable Representation for Model Counting and Uniform Sampling. CoRR (2022)
Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel
ApproxASP - a Scalable Approximate Answer Set Counter. AAAI (2022)
Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel
On Quantitative Testing of Samplers. CP (2022)
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, Aduri Pavan, N. V. Vinodchandran
On Approximating Total Variation Distance. CoRR (2022)
Sourav Chakraborty, N. V. Vinodchandran, Kuldeep S. Meel
Distinct Elements in Streams: An Algorithm for the (Text) Book. ESA (2022)
Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel
Efficient Learning of Interpretable Classification Rules. J. Artif. Intell. Res. 74 (2022)
Suwei Yang, Victor Liang, Kuldeep S. Meel
INC: A Scalable Incremental Weighted Sampler. FMCAD (2022)
Diptarka Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Support Size Estimation: The Power of Conditioning. CoRR (2022)
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis. CoRR (2022)
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
Algorithmic Fairness Verification with Graphical Models. AAAI (2022)
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
Constraint-Driven Explanations for Black-Box ML Models. AAAI (2022)
Yash Pote, Kuldeep S. Meel
On Scalable Testing of Samplers. NeurIPS (2022)
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
Projected Model Counting: Beyond Independent Support. ATVA (2022)
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
Predicting Forest Fire Using Remote Sensing Data And Machine Learning. AAAI (2021)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
The Power of Literal Equivalence in Model Counting. AAAI (2021)
Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi
On the Usefulness of Linear Modular Arithmetic in Constraint Programming. CPAIOR (2021)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
Scalable Quantitative Verification For Deep Neural Networks. ICSE (2021)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Program Synthesis as Dependency Quantified Formula Modulo Theory. CoRR (2021)
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
Algorithmic Fairness Verification with Graphical Models. CoRR (2021)
Nicolas Prevot, Mate Soos, Kuldeep S. Meel
Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. SAT (2021)
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
Engineering an Efficient Boolean Functional Synthesis Engine. CoRR (2021)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Program Synthesis as Dependency Quantified Formula Modulo Theory. IJCAI (2021)
Aduri Pavan, N. V. Vinodchandran, Arnab Bhattacharya, Kuldeep S. Meel
Estimation. PODS (2021)
Mate Soos, Kuldeep S. Meel
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. CoRR (2021)
Yash Pote, Kuldeep S. Meel
Testing Probabilistic Circuits. CoRR (2021)
Kuldeep S. Meel, N. V. Vinodchandran, Sourav Chakraborty
Estimating the Size of Union of Sets in Streaming Models. PODS (2021)
Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
Symmetric Component Caching for Model Counting on Combinatorial Instances. AAAI (2021)
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
Predicting Forest Fire Using Remote Sensing Data And Machine Learning. CoRR (2021)
Durgesh Agrawal, Yash Pote, Kuldeep S. Meel
Partition Function Estimation: A Quantitative Study. CoRR (2021)
Mate Soos, Kuldeep S. Meel
Gaussian Elimination Meets Maximum Satisfiability. KR (2021)
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
Projected Model Counting: Beyond Independent Support. CoRR (2021)
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
Engineering an Efficient Boolean Functional Synthesis Engine. ICCAD (2021)

Kuldeep S. Meel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kuldeep S. Meel