Meel, Kuldeep, Moshe Vardi, Supratik Chakraborty, Daniel Fremont, Sanjit Seshia, Dror Fried, Alexander Ivrii, and Sharad Malik. 2016. “Constrained Sampling and Counting: Universal Hashing Meets Sat Solving”. In Workshops at the Thirtieth AAAI Conference on Artificial Intelligence.
Supratik Chakraborty
First name
Supratik
Last name
Chakraborty