2013
A decomposition method for CNF minimality proofs.
BOROS, E.; Ondřej ČEPEK and Petr KUČERABasic 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
Article in a journal
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
United Kingdom of Great Britain and Northern Ireland
Confidentiality degree
is not subject to a state or trade secret
References:
Impact factor
Impact factor: 0.516
Tags
International impact, Reviewed
Changed: 8/4/2014 14:53, Mgr. Eva Lebedová