Kuldeep S. Meel

253 papers A* 64A 32B 17C 1Journal 116Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	#CFG and #DNNF admit FPRAS. SODA Kuldeep S. Meel, Alexis de Colnet
2026	J	`jnl`	Counting and Sampling Traces in Regular Languages. Proc. ACM Program. Lang. Alexis de Colnet, Kuldeep S. Meel, Umang Mathur
2026	J	`jnl`	On approximability of propositional model counting. Theor. Comput. Sci. Diptarka Chakraborty, Lawqueen Kanesh, Kuldeep S. Meel
2026	J	`jnl`	On the smallest antichain that generates an ideal of a given size. J. Comb. Theory, Ser. A L. Sunil Chandran, Rishikesh Gajjala, Kuldeep S. Meel
2026	A*	`conf`	The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques. AAAI Brendan Juba, Kuldeep S. Meel
2025	B	`conf`	A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets. ICLP Mohimenul Kabir, Kuldeep S. Meel
2025	J	`jnl`	A scalable entropy estimator. Formal Methods Syst. Des. Priyanka Golia, Brendan Juba, Kuldeep S. Meel
2025	B	`conf`	An ASP-Based Framework for MUSes. ICLP Mohimenul Kabir, Kuldeep S. Meel
2025	A	`conf`	An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs. ICDT Kuldeep S. Meel, Alexis de Colnet
2025	A*	`conf`	Approximate SMT Counting Beyond Discrete Domains. DAC Arijit Shaw, Kuldeep S. Meel
2025	J	`jnl`	Approximate SMT Counting Beyond Discrete Domains. CoRR Arijit Shaw, Kuldeep S. Meel
2025	J	`jnl`	Approximating Queries on Probabilistic Graphs. Log. Methods Comput. Sci. Antoine Amarilli, Timothy van Bremen, Octave Gaspard, Kuldeep S. Meel
2025	—	`conf`	Assessing the Quality of Binomial Samplers: A Statistical Distance Framework. CAV (2) Uddalok Sarkar, Sourav Chakraborty, Kuldeep S. Meel
2025	J	`jnl`	Assessing the Quality of Binomial Samplers: A Statistical Distance Framework. CoRR Uddalok Sarkar, Sourav Chakraborty, Kuldeep S. Meel
2025	—	`conf`	Best of the Rest: Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability. Provenance Week@SIGMOD Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel
2025	J	`jnl`	CNFs and DNFs with Exactly CoRR L. Sunil Chandran, Rishikesh Gajjala, Kuldeep S. Meel
2025	A	`conf`	CNFs and DNFs with Exactly k Solutions. SAT L. Sunil Chandran, Rishikesh Gajjala, Kuldeep S. Meel
2025	A*	`conf`	Computational Explorations of Total Variation Distance. ICLR Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, Aduri Pavan, N. V. Vinodchandran
2025	J	`jnl`	Counting Answer Sets of Disjunctive Answer Set Programs. CoRR Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2025	J	`jnl`	Counting Answer Sets of Disjunctive Answer Set Programs. Theory Pract. Log. Program. Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2025	J	`jnl`	Counting and Sampling Traces in Regular Languages. CoRR Alexis de Colnet, Kuldeep S. Meel, Umang Mathur
2025	A	`conf`	Distance Estimation for High-Dimensional Discrete Distributions. AISTATS Kuldeep S. Meel, Gunjan Kumar, Yash Pote
2025	A	`conf`	Efficient Certified Reasoning for Binarized Neural Networks. SAT Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2025	J	`jnl`	Efficient Certified Reasoning for Binarized Neural Networks. CoRR Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2025	A*	`conf`	Efficient Volume Computation for SMT Formulas. KR Arijit Shaw, Uddalok Sarkar, Kuldeep S. Meel
2025	J	`jnl`	Efficient Volume Computation for SMT Formulas. CoRR Arijit Shaw, Uddalok Sarkar, Kuldeep S. Meel
2025	—	`conf`	Engineering an Efficient Probabilistic Exact Model Counter. CAV (3) Mate Soos, Kuldeep S. Meel
2025	J	`jnl`	Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions. CoRR Jialiang Sun, Yuzhi Tang, Ao Li, Chris J. Maddison, Kuldeep S. Meel
2025	A	`conf`	On Top-Down Pseudo-Boolean Model Counting. SAT Suwei Yang, Yong Lai, Kuldeep S. Meel
2025	J	`jnl`	On Top-Down Pseudo-Boolean Model Counting. CoRR Suwei Yang, Yong Lai, Kuldeep S. Meel
2025	—	`conf`	Panini: An Efficient and Flexible Knowledge Compiler. CAV (3) Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2025	A*	`conf`	Probabilistic Explanations for Linear Models. AAAI Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel
2025	J	`jnl`	Probabilistic Explanations for Linear Models. CoRR Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel
2025	J	`jnl`	Rounding meets approximate model counting. Formal Methods Syst. Des. Jiong Yang, Kuldeep S. Meel
2025	A	`conf`	Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks. CP Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel
2025	J	`jnl`	Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks. CoRR Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel
2025	B	`conf`	Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification. ATVA Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman
2025	J	`jnl`	Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification. CoRR Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman
2025	J	`jnl`	The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques. CoRR Brendan Juba, Kuldeep S. Meel
2025	J	`jnl`	Total variation distance for product distributions is #P-complete. Inf. Process. Lett. Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
2025	J	`jnl`	Towards Practical FPRAS for #NFA: Exploiting the Power of Dependence. Proc. ACM Manag. Data Kuldeep S. Meel, Alexis de Colnet
2025	A	`conf`	Towards Practical First-Order Model Counting. SAT Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas, Kuldeep S. Meel
2025	J	`jnl`	Towards Practical First-Order Model Counting. CoRR Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas, Kuldeep S. Meel
2025	J	`jnl`	Towards Practical Zero-Knowledge Proof for PSPACE. CoRR Ashwin Karthikeyan, Hengyu Liu, Kuldeep S. Meel, Ning Luo
2025	A*	`conf`	Towards Projected and Incremental Pseudo-Boolean Model Counting. AAAI Suwei Yang, Kuldeep S. Meel
2025	A*	`conf`	Towards Real-Time Approximate Counting. AAAI Yash Pote, Kuldeep S. Meel, Jiong Yang
2025	J	`jnl`	Towards practical FPRAS for #NFA: Exploiting the Power of Dependence. CoRR Kuldeep S. Meel, Alexis de Colnet
2025	B	`conf`	Verification of the CVM Algorithm with a Functional Probabilistic Invariant. ITP Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan
2025	J	`jnl`	Verification of the CVM algorithm with a New Recursive Analysis Technique. Arch. Formal Proofs Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan, Seng Joe Watt
2024	J	`jnl`	#CFG and #DNNF admit FPRAS. CoRR Kuldeep S. Meel, Alexis de Colnet
2024	J	`jnl`	A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications. IEEE Trans. Software Eng. Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
2024	J	`jnl`	A faster FPRAS for #NFA. Proc. ACM Manag. Data Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur
2024	A*	`conf`	An Approximate Skolem Function Counter. AAAI Arijit Shaw, Brendan Juba, Kuldeep S. Meel
2024	J	`jnl`	An FPRAS for #nFBDD. CoRR Kuldeep S. Meel, Alexis de Colnet
2024	A*	`conf`	Auditable Algorithms for Approximate Model Counting. AAAI Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
2024	J	`jnl`	Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). Dagstuhl Reports S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw
2024	—	`conf`	CSB: A Counting and Sampling Tool for Bit-vectors. SMT@CAV Arijit Shaw, Kuldeep S. Meel
2024	J	`jnl`	Computational Explorations of Total Variation Distance. CoRR Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
2024	A	`conf`	Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability. ICDT Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel
2024	J	`jnl`	Engineering an Efficient Approximate DNF-Counter. CoRR Mate Soos, Uddalok Sarkar, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski
2024	A*	`conf`	Engineering an Efficient Preprocessor for Model Counting. DAC Mate Soos, Kuldeep S. Meel
2024	A*	`conf`	Engineering an Exact Pseudo-Boolean Model Counter. AAAI Suwei Yang, Kuldeep S. Meel
2024	A	`conf`	Equivalence Testing: The Power of Bounded Adaptivity. AISTATS Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
2024	J	`jnl`	Equivalence Testing: The Power of Bounded Adaptivity. CoRR Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
2024	A*	`conf`	Exact ASP Counting with Compact Encodings. AAAI Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2024	—	`conf`	Formally Certified Approximate Model Counting. CAV (1) Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2024	J	`jnl`	Formally Certified Approximate Model Counting. CoRR Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2024	J	`jnl`	Hashing-based approximate counting of minimal unsatisfiable subsets. Formal Methods Syst. Des. Jaroslav Bendík, Kuldeep S. Meel
2024	A	`conf`	Improved Streaming Algorithm for the Klee's Measure Problem and Generalizations. APPROX/RANDOM Mridul Nandi, N. V. Vinodchandran, Arijit Ghosh, Kuldeep S. Meel, Soumit Pal, Sourav Chakraborty
2024	A	`conf`	Locally-Minimal Probabilistic Explanations. ECAI Yacine Izza, Kuldeep S. Meel, João Marques-Silva
2024	A*	`conf`	Model Counting in the Wild. KR Arijit Shaw, Kuldeep S. Meel
2024	J	`jnl`	Model Counting in the Wild. CoRR Arijit Shaw, Kuldeep S. Meel
2024	J	`jnl`	On Lower Bounding Minimal Model Count. CoRR Mohimenul Kabir, Kuldeep S. Meel
2024	J	`jnl`	On Lower Bounding Minimal Model Count. Theory Pract. Log. Program. Mohimenul Kabir, Kuldeep S. Meel
2024	J	`jnl`	On the Feasibility of Forgetting in Data Streams. Proc. ACM Manag. Data Aduri Pavan, Sourav Chakraborty, N. V. Vinodchandran, Kuldeep S. Meel
2024	—	`conf`	Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing. SETSS Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
2024	J	`jnl`	The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing. CoRR Anna L. D. Latour, Arunabha Sen, Kaustav Basu, Chenyang Zhou, Kuldeep S. Meel
2024	A*	`conf`	Total Variation Distance Meets Probabilistic Inference. ICML Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
2024	J	`jnl`	Total Variation Distance for Product Distributions is #P-Complete. CoRR Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
2024	J	`jnl`	Towards Projected and Incremental Pseudo-Boolean Model Counting. CoRR Suwei Yang, Kuldeep S. Meel
2023	—	`conf`	"How Biased are Your Features?": Computing Fairness Influence Functions with Global Sensitivity Analysis. FAccT Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
2023	B	`conf`	A Fast and Accurate ASP Counting Based Network Reliability Estimator. LPAR Mohimenul Kabir, Kuldeep S. Meel
2023	J	`jnl`	A faster FPRAS for #NFA. CoRR Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur
2023	J	`jnl`	An Approximate Skolem Function Counter. CoRR Arijit Shaw, Brendan Juba, Kuldeep S. Meel
2023	A*	`conf`	Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle? ICALP Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
2023	J	`jnl`	Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle? CoRR Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
2023	J	`jnl`	Auditable Algorithms for Approximate Model Counting. CoRR Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
2023	J	`jnl`	Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability. CoRR Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel
2023	A*	`conf`	Constraint Optimization over Semirings. AAAI Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya
2023	J	`jnl`	Constraint Optimization over Semirings. CoRR Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya
2023	J	`jnl`	Distinct Elements in Streams: An Algorithm for the (Text) Book. CoRR Sourav Chakraborty, N. V. Vinodchandran, Kuldeep S. Meel
2023	B	`conf`	Distribution Testing: The New Frontier for Formal Methods. FMCAD Kuldeep S. Meel
2023	A*	`conf`	Engineering an Efficient Approximate DNF-Counter. IJCAI Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski
2023	J	`jnl`	Engineering an Exact Pseudo-Boolean Model Counter. CoRR Suwei Yang, Kuldeep S. Meel
2023	J	`jnl`	Exact ASP Counting with Compact Encodings. CoRR Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2023	A	`conf`	Explaining SAT Solving Using Causal Reasoning. SAT Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
2023	J	`jnl`	Explaining SAT Solving Using Causal Reasoning. CoRR Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
2023	A*	`conf`	Fast Converging Anytime Model Counting. AAAI Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2023	J	`jnl`	INC: A Scalable Incremental Weighted Sampler. CoRR Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2023	J	`jnl`	Locally-Minimal Probabilistic Explanations. CoRR Yacine Izza, Kuldeep S. Meel, João Marques-Silva
2023	J	`jnl`	Model Counting Meets ACM Trans. Database Syst. A. Pavan, N. Variyam Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
2023	J	`jnl`	Model Counting Meets Distinct Elements. Commun. ACM A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
2023	A*	`conf`	On Approximating Total Variation Distance. IJCAI Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
2023	J	`jnl`	On Scalable Testing of Samplers. CoRR Yash Pote, Kuldeep S. Meel
2023	A*	`conf`	Probabilistic Query Evaluation: The Combined FPRAS Landscape. PODS Timothy van Bremen, Kuldeep S. Meel
2023	—	`conf`	Rounding Meets Approximate Model Counting. CAV (2) Jiong Yang, Kuldeep S. Meel
2023	J	`jnl`	Rounding Meets Approximate Model Counting. CoRR Jiong Yang, Kuldeep S. Meel
2023	—	`conf`	Scalable Probabilistic Routes. ENIGMA@KR Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2023	B	`conf`	Scalable Probabilistic Routes. LPAR Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2023	J	`jnl`	Scalable Probabilistic Routes. CoRR Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2023	A*	`conf`	Solving the Identifying Code Set Problem with Grouped Independent Support. IJCAI Anna L. D. Latour, Arunabha Sen, Kuldeep S. Meel
2023	J	`jnl`	Solving the Identifying Code Set Problem with Grouped Independent Support. CoRR Anna L. D. Latour, Arunabha Sen, Kuldeep S. Meel
2023	B	`conf`	Support Size Estimation: The Power of Conditioning. MFCS Diptarka Chakraborty, Gunjan Kumar, Kuldeep S. Meel
2023	A	`conf`	Synthesis with Explicit Dependencies. DATE Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2023	J	`jnl`	Synthesis with Explicit Dependencies. CoRR Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2023	A	`conf`	Testing of Horn Samplers. AISTATS Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen
2023	J	`jnl`	Tolerant Testing of High-Dimensional Samplers with Subcube Conditioning. CoRR Gunjan Kumar, Kuldeep S. Meel, Yash Pote
2023	J	`jnl`	Total Variation Distance Estimation Is as Easy as Probabilistic Inference. CoRR Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
2023	J	`jnl`	Total Variation Distance Estimation Is as Easy as Probabilistic Inference. Electron. Colloquium Comput. Complex. Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
2022	A	`ed.`	25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, Haifa, Israel, August 2-5, 2022 SAT Kuldeep S. Meel, Ofer Strichman
2022	—	`conf`	A Scalable Shannon Entropy Estimator. CAV (1) Priyanka Golia, Brendan Juba, Kuldeep S. Meel
2022	J	`jnl`	A Scalable Shannon Entropy Estimator. CoRR Priyanka Golia, Brendan Juba, Kuldeep S. Meel
2022	A*	`conf`	A Scalable t-wise Coverage Estimator. ICSE Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
2022	A*	`conf`	Algorithmic Fairness Verification with Graphical Models. AAAI Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
2022	A*	`conf`	ApproxASP - a Scalable Approximate Answer Set Counter. AAAI Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel
2022	A	`conf`	Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. ICCAD Mate Soos, Kuldeep S. Meel
2022	J	`jnl`	CCDD: A Tractable Representation for Model Counting and Uniform Sampling. CoRR Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2022	A*	`conf`	Constraint-Driven Explanations for Black-Box ML Models. AAAI Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
2022	A*	`conf`	Counting, Sampling, and Synthesis: The Quest for Scalability. IJCAI Kuldeep S. Meel
2022	A	`conf`	Distinct Elements in Streams: An Algorithm for the (Text) Book. ESA Sourav Chakraborty, N. V. Vinodchandran, Kuldeep S. Meel
2022	J	`jnl`	Efficient Learning of Interpretable Classification Rules. CoRR Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel
2022	J	`jnl`	Efficient Learning of Interpretable Classification Rules. J. Artif. Intell. Res. Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel
2022	A*	`conf`	Estimation of the Size of Union of Delphic Sets: Achieving Independence from Stream Size. PODS Kuldeep S. Meel, Sourav Chakraborty, N. V. Vinodchandran
2022	J	`jnl`	Fast Converging Anytime Model Counting. CoRR Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2022	J	`jnl`	How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis. CoRR Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
2022	B	`conf`	INC: A Scalable Incremental Weighted Sampler. FMCAD Suwei Yang, Victor C. Liang, Kuldeep S. Meel
2022	J	`jnl`	Model Counting Meets Distinct Elements in a Data Stream. SIGMOD Rec. Aduri Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
2022	A*	`conf`	On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. LICS Remi Delannoy, Kuldeep S. Meel
2022	J	`jnl`	On Approximating Total Variation Distance. CoRR Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, Aduri Pavan, N. V. Vinodchandran
2022	A	`conf`	On Quantitative Testing of Samplers. CP Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel
2022	A*	`conf`	On Scalable Testing of Samplers. NeurIPS Yash Pote, Kuldeep S. Meel
2022	B	`conf`	Projected Model Counting: Beyond Independent Support. ATVA Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
2022	J	`jnl`	Support Size Estimation: The Power of Conditioning. CoRR Diptarka Chakraborty, Gunjan Kumar, Kuldeep S. Meel
2021	J	`jnl`	Algorithmic Fairness Verification with Graphical Models. CoRR Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
2021	—	`ch.`	Approximate Model Counting. Handbook of Satisfiability Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2021	J	`jnl`	Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. CoRR Mate Soos, Kuldeep S. Meel
2021	A*	`conf`	Counting Maximal Satisfiable Subsets. AAAI Jaroslav Bendík, Kuldeep S. Meel
2021	—	`conf`	Counting Minimal Unsatisfiable Subsets. CAV (2) Jaroslav Bendík, Kuldeep S. Meel
2021	B	`conf`	Designing Samplers is Easy: The Boon of Testers. FMCAD Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
2021	A	`conf`	Engineering an Efficient Boolean Functional Synthesis Engine. ICCAD Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
2021	J	`jnl`	Engineering an Efficient Boolean Functional Synthesis Engine. CoRR Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
2021	A	`conf`	Engineering an Efficient PB-XOR Solver. CP Jiong Yang, Kuldeep S. Meel
2021	A*	`conf`	Estimating the Size of Union of Sets in Streaming Models. PODS Kuldeep S. Meel, N. V. Vinodchandran, Sourav Chakraborty
2021	A*	`conf`	Gaussian Elimination Meets Maximum Satisfiability. KR Mate Soos, Kuldeep S. Meel
2021	A*	`conf`	Justicia: A Stochastic SAT Approach to Formally Verify Fairness. AAAI Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
2021	A	`conf`	Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. SAT Nicolas Prevot, Mate Soos, Kuldeep S. Meel
2021	A*	`conf`	Model Counting meets F PODS Aduri Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
2021	J	`jnl`	Model Counting meets F0 Estimation. CoRR Aduri Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
2021	B	`conf`	On the Usefulness of Linear Modular Arithmetic in Constraint Programming. CPAIOR Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi
2021	A*	`conf`	Partition Function Estimation: A Quantitative Study. IJCAI Durgesh Agrawal, Yash Pote, Kuldeep S. Meel
2021	J	`jnl`	Partition Function Estimation: A Quantitative Study. CoRR Durgesh Agrawal, Yash Pote, Kuldeep S. Meel
2021	A*	`conf`	Predicting Forest Fire Using Remote Sensing Data And Machine Learning. AAAI Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
2021	J	`jnl`	Predicting Forest Fire Using Remote Sensing Data And Machine Learning. CoRR Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
2021	A*	`conf`	Program Synthesis as Dependency Quantified Formula Modulo Theory. IJCAI Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2021	J	`jnl`	Program Synthesis as Dependency Quantified Formula Modulo Theory. CoRR Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2021	J	`jnl`	Projected Model Counting: Beyond Independent Support. CoRR Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
2021	A*	`conf`	Scalable Quantitative Verification For Deep Neural Networks. ICSE Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2021	—	`conf`	Scalable Quantitative Verification for Deep Neural Networks. ICSE (Companion Volume) Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2021	A*	`conf`	Symmetric Component Caching for Model Counting on Combinatorial Instances. AAAI Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
2021	A*	`conf`	Testing Probabilistic Circuits. NeurIPS Yash Pote, Kuldeep S. Meel
2021	J	`jnl`	Testing Probabilistic Circuits. CoRR Yash Pote, Kuldeep S. Meel
2021	A*	`conf`	The Power of Literal Equivalence in Model Counting. AAAI Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2020	A*	`conf`	A MaxSAT-Based Framework for Group Testing. AAAI Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett, Kuldeep S. Meel
2020	—	`conf`	A Study of Symmetry Breaking Predicates and Model Counting. TACAS (1) Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid
2020	—	`conf`	Approximate Counting of Minimal Unsatisfiable Subsets. CAV (1) Jaroslav Bendík, Kuldeep S. Meel
2020	—	`conf`	Baital: an adaptive weighted sampling approach for improved t-wise coverage. ESEC/SIGSOFT FSE Eduard Baranov, Axel Legay, Kuldeep S. Meel
2020	A	`conf`	Classification Rules in Relaxed Logical Form. ECAI Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel
2020	A	`conf`	Designing New Phase Selection Heuristics. SAT Arijit Shaw, Kuldeep S. Meel
2020	J	`jnl`	Designing New Phase Selection Heuristics. CoRR Arijit Shaw, Kuldeep S. Meel
2020	A*	`conf`	Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning. NeurIPS Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, N. V. Vinodchandran
2020	J	`jnl`	Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning. CoRR Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, N. V. Vinodchandran
2020	J	`jnl`	IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules. CoRR Bishwamittra Ghosh, Kuldeep S. Meel
2020	B	`conf`	Induction Models on N. LPAR A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili
2020	J	`jnl`	Induction Models on \mathbb{N}. CoRR A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili
2020	J	`jnl`	Justicia: A Stochastic SAT Approach to Formally Verify Fairness. CoRR Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
2020	J	`jnl`	Manthan: A Data Driven Approach for Boolean Function Synthesis. CoRR Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2020	—	`conf`	Manthan: A Data-Driven Approach for Boolean Function Synthesis. CAV (2) Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2020	A*	`conf`	On Testing of Samplers. NeurIPS Kuldeep S. Meel, Yash Pote, Sourav Chakraborty
2020	J	`jnl`	On Testing of Samplers. CoRR Kuldeep S. Meel, Yash Pote, Sourav Chakraborty
2020	A	`conf`	On the Sparsity of XORs in Approximate Model Counting. SAT Durgesh Agrawal, Bhavishya, Kuldeep S. Meel
2020	A	`conf`	Phase Transition Behavior in Knowledge Compilation. CP Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
2020	J	`jnl`	Phase Transition Behavior in Knowledge Compilation. CoRR Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
2020	J	`jnl`	Scalable Quantitative Verification For Deep Neural Networks. CoRR Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2020	A*	`conf`	Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice. LICS Kuldeep S. Meel, S. Akshay
2020	J	`jnl`	Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice. CoRR Kuldeep S. Meel, S. Akshay
2020	A*	`conf`	Taming Discrete Integration via the Boon of Dimensionality. NeurIPS Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
2020	J	`jnl`	Taming Discrete Integration via the Boon of Dimensionality. CoRR Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
2020	—	`conf`	Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling. CAV (1) Mate Soos, Stephan Gocht, Kuldeep S. Meel
2019	A	`conf`	Assessing Heuristic Machine Learning Explanations with Model Counting. SAT Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva
2019	A*	`conf`	BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting. AAAI Mate Soos, Kuldeep S. Meel
2019	A	`conf`	Bosphorus: Bridging ANF and CNF Solvers. DATE Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel
2019	A	`conf`	CrystalBall: Gazing in the Black Box of SAT Solving. SAT Mate Soos, Raghav Kulkarni, Kuldeep S. Meel
2019	A	`conf`	Dual Hashing-Based Algorithms for Discrete Integration. CP Alexis de Colnet, Kuldeep S. Meel
2019	A*	`conf`	Embedding Symbolic Knowledge into Deep Networks. NeurIPS Yaqi Xie, Ziwei Xu, Kuldeep S. Meel, Mohan S. Kankanhalli, Harold Soh
2019	A*	`conf`	GANAK: A Scalable Probabilistic Exact Model Counter. IJCAI Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel
2019	C	`conf`	IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules. AIES Bishwamittra Ghosh, Kuldeep S. Meel
2019	A*	`conf`	Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract). IJCAI Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2019	J	`jnl`	Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Constraints An Int. J. Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2019	A*	`conf`	On Testing of Uniform Samplers. AAAI Sourav Chakraborty, Kuldeep S. Meel
2019	A*	`conf`	On the Hardness of Probabilistic Inference Relaxations. AAAI Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2019	A*	`conf`	Phase Transition Behavior of Cardinality and XOR Constraints. IJCAI Yash Pote, Saurabh Joshi, Kuldeep S. Meel
2019	J	`jnl`	Phase Transition Behavior of Cardinality and XOR Constraints. CoRR Yash Pote, Saurabh Joshi, Kuldeep S. Meel
2019	J	`jnl`	Principled network reliability approximation: A counting-based approach. Reliab. Eng. Syst. Saf. Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi
2019	J	`jnl`	Quantitative Verification of Neural Networks And its Security Applications. CoRR Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
2019	A*	`conf`	Quantitative Verification of Neural Networks and Its Security Applications. CCS Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
2019	J	`jnl`	Semantically-Regularized Logic Graph Embeddings. CoRR Yaqi Xie, Ziwei Xu, Kuldeep S. Meel, Mohan S. Kankanhalli, Harold Soh
2019	—	`conf`	WAPS: Weighted and Projected Sampling. TACAS (1) Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
2018	J	`jnl`	BOSPHORUS: Bridging ANF and CNF Solvers. CoRR Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel
2018	J	`jnl`	Constrained Counting and Sampling: Bridging the Gap between Theory and Practice. CoRR Kuldeep S. Meel
2018	B	`conf`	Knowledge Compilation meets Uniform Sampling. LPAR Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
2018	A	`conf`	MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules. CP Dmitry Malioutov, Kuldeep S. Meel
2018	J	`jnl`	MLIC: A MaxSAT-Based framework for learning interpretable classification rules. CoRR Dmitry Malioutov, Kuldeep S. Meel
2018	J	`jnl`	Network Reliability Estimation in Theory and Practice. CoRR Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi
2018	B	`conf`	Scalable Approximation of Quantitative Information Flow in Programs. VMCAI Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf
2017	J	`jnl`	Combining the k-CNF and XOR Phase-Transitions. CoRR Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
2017	A*	`conf`	Counting-Based Reliability Estimation for Power-Transmission Grids. AAAI Leonardo Dueñas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi
2017	—	`conf`	On Hashing-Based Approaches to Approximate DNF-Counting. FSTTCS Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2017	J	`jnl`	On Hashing-Based Approaches to Approximate DNF-Counting. CoRR Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2017	A*	`conf`	The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. IJCAI Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
2017	J	`jnl`	The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. CoRR Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
2016	A*	`conf`	Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. IJCAI Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2016	A*	`conf`	Approximate Probabilistic Inference via Word-Level Counting. AAAI Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi
2016	B	`conf`	Automatic data layout generation and kernel mapping for CPU+GPU architectures. CC Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar
2016	A*	`conf`	Combining the k-CNF and XOR Phase-Transitions. IJCAI Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
2016	—	`conf`	Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
2016	—	`conf`	Design and Verification of Distributed Phasers. Euro-Par Karthik Murthy, Sri Raj Paul, Kuldeep S. Meel, Tiago Cogumbreiro, John M. Mellor-Crummey
2016	J	`jnl`	On computing minimal independent support and its applications to sampling and counting. Constraints An Int. J. Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi
2015	J	`jnl`	Approximate Probabilistic Inference via Word-Level Counting. CoRR Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi
2015	J	`jnl`	Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
2015	J	`jnl`	Distributed Phasers. CoRR Sri Raj Paul, Karthik Murthy, Kuldeep S. Meel, John M. Mellor-Crummey
2015	A*	`conf`	From Weighted to Unweighted Model Counting. IJCAI Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi
2015	A	`conf`	On Parallel Scalable Uniform SAT Witness Generation. TACAS Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
2014	J	`jnl`	ADHA: Automatic Data layout framework for Heterogeneous Architectures. CoRR Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar
2014	B	`conf`	ADHA: automatic data layout framework for heterogeneous architectures. PACT Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar
2014	A*	`conf`	Balancing Scalability and Uniformity in SAT Witness Generator. DAC Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2014	J	`jnl`	Balancing Scalability and Uniformity in SAT Witness Generator. CoRR Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2014	A*	`conf`	Distribution-Aware Sampling and Weighted Model Counting for SAT. AAAI Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
2014	J	`jnl`	Distribution-Aware Sampling and Weighted Model Counting for SAT. CoRR Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
2014	J	`jnl`	Sampling Techniques for Boolean Satisfiability. CoRR Kuldeep S. Meel
2013	A	`conf`	A Scalable Approximate Model Counter. CP Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2013	J	`jnl`	A Scalable Approximate Model Counter. CoRR Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2013	J	`jnl`	A Scalable and Nearly Uniform Generator of SAT Witnesses CoRR Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2013	A*	`conf`	A Scalable and Nearly Uniform Generator of SAT Witnesses. CAV Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi