Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets

Jianshen Zhu

For a finite hypergraph H, the complements of the models of its associated definite Horn CNF are exactly the stopping sets of H; hence the complements of its coatoms are the inclus…