Enumeration Problems Related to Ground Horn Theories

Simple item page
dc.creatorDershowitz, Nachum
dc.creatorHarris, Mitchell A.
dc.creatorHuang, Guan-Shieng
dc.date2006-10-10
dc.date2008-02-04
dc.date.accessioned2026-07-07T09:18:19Z
dc.date.available2026-07-07T09:18:19Z
dc.descriptionWe 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.
dc.description4 pages, before journal submission
dc.identifierhttps://arxiv.org/abs/cs/0610054
dc.identifierhttp://arxiv.org/abs/cs/0610054
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/153983
dc.subjectLogic in Computer Science
dc.subjectDiscrete Mathematics
dc.subjectF.4.1
dc.titleEnumeration Problems Related to Ground Horn Theories
dc.typetext

Files

Collections

arXiv