Fingerprint
Dive into the research topics of 'Constrained sampling and counting: Universal hashing meets SAT solving'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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 proceeding › Conference contribution
42
Scopus
citations