Concepedia

Kuldeep S. Meel

KS

Statistics

Publications

34

Citations

1.2K

H-Index

20

Active since

2013

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.

Top concepts

EngineeringComputer ScienceAutomated ReasoningData ScienceFormal VerificationComputational ComplexityVerificationFormal MethodsComputer EngineeringStatistics

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

Np Oracle, Engineering, Verification +24

Balancing Scalability and Uniformity in SAT Witness Generator

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

Mathematical Programming, Engineering, Verification +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

Mathematical Programming, Engineering, Data Science +12

1–5 of 34