# SyGuS Techniques in the Core of an SMT Solver

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

**Wikidata**: [openalex:W2770128704](https://www.wikidata.org/wiki/openalex:W2770128704)  
**Source**: https://4ort.xyz/entity/sygus-techniques-in-the-core-of-an-smt-solver