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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

37 Scopus citations

Fingerprint

Dive into the research topics of 'Constrained sampling and counting: Universal hashing meets SAT solving'. Together they form a unique fingerprint.

Engineering & Materials Science