3 papers
cs.CC2013
Resolution structure in HornSAT and CNFSAT
Koji Kobayashi
This article describes about the difference of resolution structure and size between HornSAT and CNFSAT. We can compute HornSAT by using clauses causality. Therefore we can compute…
cs.CC2012
Solvability of HornSAT and CNFSAT
Koji Kobayashi
This article describes the solvability of HornSAT and CNFSAT. Unsatisfiable HornCNF have partially ordered set that is made by causation of each clauses. In this partially ordered…
cs.LO2011
Connection and Dispersion of Computation
Koji Kobayashi
This paper talk about the influence of Connection and Dispersion on Computational Complexity. And talk about the HornCNF's connection and CNF's dispersion, and show the difference…