Enumeration Problems Related to Ground Horn Theories
classification
💻 cs.LO
cs.DM
keywords
differenttheoriescharacterizationscountingenumerationhornnumberrelated
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.