A decomposition method for CNF minimality proofs.

BOROS, E.; Ondřej ČEPEK and Petr KUČERA

Theoretical Computer Science, Elsevier Science, 2013, 0304-3975

English

Article in a journal

10201 Computer sciences, information science, bioinformatics

United Kingdom of Great Britain and Northern Ireland

is not subject to a state or trade secret

URL

AR 2012-2013, NE VŠFS, časopis s impakt faktorem

International impact, Reviewed