Supratik Chakraborty
Indian Institute of Technology Bombay(IN)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Embedded Systems Design Techniques, Machine Learning and Algorithms
Most-Cited Works
- → A Scalable Approximate Model Counter(2013)156 cited
- → A Scalable and Nearly Uniform Generator of SAT Witnesses(2013)120 cited
- → On Parallel Scalable Uniform SAT Witness Generation(2015)119 cited
- → Automatically Refining Abstract Interpretations(2008)89 cited
- Algorithmic improvements in approximate counting for probabilistic inference: from linear to logarithmic SAT calls(2016)
- → Balancing Scalability and Uniformity in SAT Witness Generator(2014)78 cited
- → Distribution-Aware Sampling and Weighted Model Counting for SAT(2014)68 cited
- From weighted to unweighted model counting(2015)