A decomposition method for CNF minimality proofs

Endre Boros, Ondrej Cepek, Petr Kucera. A decomposition method for CNF minimality proofs. Theoretical Computer Science, 510:111-126, 2013. [doi]

Abstract

Abstract is missing.