Concepedia

Kuldeep S. Meel

KS

34

Publications

1.2K

Citations

20

H-Index

2013

Active since

Affiliations

National University of Singapore(Current)

Rice University

Indian Institute of Technology Bombay

Indian Institute of Technology Kanpur

University of California, Berkeley

Kuldeep S. Meel is an author at National University of Singapore specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

Publications per year

2013–2023

34

Publications

34

NPAQ Benchmarks

Teodora Baluta, Shiqi Shen, Shweta Shinde et al. · Zenodo (CERN European Organization for Nuclear Research) · 2019 · 93 citations · Full text

BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting

Mate Soos, Kuldeep S. Meel · Proceedings of the AAAI Conference on Artificial Intelligence · 2019 · 92 citations · Full text

Algorithmic improvements in approximate counting for probabilistic inference: from linear to logarithmic SAT calls

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi · International Joint Conference on Artificial Intelligence · 2016 · 89 citations

, , +24

Balancing Scalability and Uniformity in SAT Witness Generator

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi · 2014 · 78 citations · Full text

, , +19

On computing minimal independent support and its applications to sampling and counting

Alexander Ivrii, Sharad Malik, Kuldeep S. Meel et al. · Constraints · 2015 · 70 citations

, , +12

Rows per page

1–5 of 34