# A SAT Encoding for Optimal Clifford Circuit Synthesis

> Research article (Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023) · cited 15× · AI/ML

**Wikidata**: [openalex:W4318686623](https://www.wikidata.org/wiki/openalex:W4318686623)  
**Source**: https://4ort.xyz/entity/a-sat-encoding-for-optimal-clifford-circuit-synthesis