Constrained Sampling and Counting: Universal Hashing Meets SAT Solving.

Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik

Browse the full AAAI paper archive.