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

Článek v odborném periodiku

10201 Computer sciences, information science, bioinformatics

United Kingdom of Great Britain and Northern Ireland

není předmětem státního či obchodního tajemství

URL

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

International impact, Reviewed