Author:Kuldeep S. Meel

Publications
A Fast and Accurate ASP Counting Based Network Reliability Estimator Mohimenul Kabir and Kuldeep S Meel In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Scalable Probabilistic Routes Suwei Yang, Victor Liang and Kuldeep S. Meel In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Induction Models on $\mathbb{N}$ A. Dileep, Kuldeep S. Meel and Ammar F. Sabili In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Knowledge Compilation meets Uniform Sampling Shubham Sharma, Rahul Gupta, Subhajit Roy and Kuldeep S. Meel In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning