Enumeration Problems Related to Ground Horn Theories
<|reference_start|>Enumeration Problems Related to Ground Horn Theories: We investigate the enumeration of varieties of boolean theories related to Horn clauses. We describe a number of combinatorial equivalences among different characterizations and calculate the number of different theories in $n$ variables for slightly different characterizations. The method of counting is via counting models using a satisfiability checker.<|reference_end|>
@article{dershowitz2006enumeration,
    title={Enumeration Problems Related to Ground Horn Theories},
    author={Nachum Dershowitz, Mitchell A. Harris, and Guan-Shieng Huang},
    journal={arXiv preprint arXiv:cs/0610054},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0610054},
    primaryClass={cs.LO cs.DM}
}