# SyGuS-Comp 2017: Results and Analysis

> Research article (Electronic Proceedings in Theoretical Computer Science, 2017) · cited 30× · AI/ML

**Wikidata**: [openalex:W2768805914](https://www.wikidata.org/wiki/openalex:W2768805914)  
**Source**: https://4ort.xyz/entity/sygus-comp-2017-results-and-analysis