A decomposition method for CNF minimality proofs.

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

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

angličtina

Článek v odborném periodiku

10201 Computer sciences, information science, bioinformatics

Velká Británie a Severní Irsko

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

URL

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

Mezinárodní význam, Recenzováno