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.

Ivrii, Alexander, Sharad Malik, Kuldeep Meel, and Moshe Vardi. 2016. “On Computing Minimal Independent Support and Its Applications to Sampling and Counting”. Constraints 21 (1). Springer US: 41–58.