# SMT-Based Constraint Answer Set Solver EZSMT (System Description)

> Research article (DROPS (Schloss Dagstuhl – Leibniz Center for Informatics), 2016) · cited 25× · AI/ML

**Wikidata**: [openalex:W2460803124](https://www.wikidata.org/wiki/openalex:W2460803124)  
**Source**: https://4ort.xyz/entity/smt-based-constraint-answer-set-solver-ezsmt-system-description