Constrained sampling and counting: Universal hashing meets sat solving

Author

Kuldeep Meel, Moshe Vardi, Supratik Chakraborty, Daniel Fremont, Sanjit Seshia, Dror Fried, Alexander Ivrii, Sharad Malik

Publication Year

2016

Type

Conference Paper

Conference Name

Workshops at the Thirtieth AAAI Conference on Artificial Intelligence