# Certified Unsolvability for SAT Planning with Property Directed Reachability

> Research article (Proceedings of the International Conference on Automated Planning and Scheduling, 2020) · cited 13× · AI/ML

**Wikidata**: [openalex:W3037292241](https://www.wikidata.org/wiki/openalex:W3037292241)  
**Source**: https://4ort.xyz/entity/certified-unsolvability-for-sat-planning-with-property-directed-reachability