# Solving Constrained Horn Clauses Using Syntax and Data

> Research article (2018 Formal Methods in Computer Aided Design (FMCAD), 2018) · cited 43× · AI/ML

**Wikidata**: [openalex:W2910565741](https://www.wikidata.org/wiki/openalex:W2910565741)  
**Source**: https://4ort.xyz/entity/solving-constrained-horn-clauses-using-syntax-and-data