Enumeration Problems Related to Ground Horn Theories

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
4 pages, before journal submission

Keywords

Logic in Computer Science, Discrete Mathematics, F.4.1

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/153983

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0610054
 http://arxiv.org/abs/cs/0610054

Collections

arXiv