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…