J 2013

A decomposition method for CNF minimality proofs.

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

Základní údaje

Originální název

A decomposition method for CNF minimality proofs.

Autoři

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

Vydání

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

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

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

Odkazy

URL

Štítky

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 8. 4. 2014 14:53, Mgr. Eva Lebedová
Zobrazeno: 31. 10. 2024 23:55