# BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting

> Research article (Proceedings of the AAAI Conference on Artificial Intelligence, 2019) · cited 93× · AI/ML

**Wikidata**: [openalex:W2964396926](https://www.wikidata.org/wiki/openalex:W2964396926)  
**Source**: https://4ort.xyz/entity/bird-engineering-an-efficient-cnf-xor-sat-solver-and-its-applications-to-approximate-model-counting