Alexander Ivrii

First name

Alexander

Last name

Ivrii

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.

Reference Link
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.

Reference Link