J 2013

A decomposition method for CNF minimality proofs.

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

Basic information

Original name

A decomposition method for CNF minimality proofs.

Authors

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

Edition

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

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

United Kingdom of Great Britain and Northern Ireland

Confidentiality degree

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

References:

Tags

International impact, Reviewed
Změněno: 8/4/2014 14:53, Mgr. Eva Lebedová