# Constrained Sampling and Counting: Universal Hashing Meets SAT Solving

> Research article (National Conference on Artificial Intelligence, 2015) · cited 38× · AI/ML

**Wikidata**: [openalex:W2962943581](https://www.wikidata.org/wiki/openalex:W2962943581)  
**Source**: https://4ort.xyz/entity/constrained-sampling-and-counting-universal-hashing-meets-sat-solving