# SMT-based consistency analysis of industrial systems requirements

> Research article (Proceedings of the Symposium on Applied Computing, 2017) · cited 16× · AI/ML

**Wikidata**: [openalex:W2617085517](https://www.wikidata.org/wiki/openalex:W2617085517)  
**Source**: https://4ort.xyz/entity/smt-based-consistency-analysis-of-industrial-systems-requirements