Supratik Chakraborty

Publications

761

Citations

H-Index

1994

Active since

Affiliations

Indian Institute of Technology Bombay(Current)

Stanford University

Rice University

University of California San Diego

University of California, Berkeley

Supratik Chakraborty is an author at Indian Institute of Technology Bombay specializing in engineering, formal verification, and computer engineering.

ORCID

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal VerificationFormal MethodsAutomated ReasoningComputational ComplexityComputer ArchitectureVerificationData Science

Publications per year

1994–2020

Publications

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

Distribution-Aware Sampling and Weighted Model Counting for SAT

Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2014 · 68 citations · Full text

Mathematical Programming, Engineering, Computational Complexity +18

From weighted to unweighted model counting

Supratik Chakraborty, Dror Fried, Kuldeep S. Meel et al. · International Conference on Artificial Intelligence · 2015 · 41 citations

Engineering, Verification, Formal Verification +17

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving

Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty et al. · National Conference on Artificial Intelligence · 2015 · 38 citations

Artificial Intelligence, Correctness Guarantees, Engineering +16

Rows per page

1–5 of 26