# Reconciling enumerative and deductive program synthesis

> Research article (Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020) · cited 43× · AI/ML

**Wikidata**: [openalex:W3033316151](https://www.wikidata.org/wiki/openalex:W3033316151)  
**Source**: https://4ort.xyz/entity/reconciling-enumerative-and-deductive-program-synthesis