2005
Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing
ČEPEK, Ondřej and Petr KUČERABasic information
Original name
Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing
Authors
ČEPEK, Ondřej and Petr KUČERA
Edition
Discrete Applied Mathematics, 2005, 0166-218X
Other information
Language
English
Type of outcome
Article in a journal
Field of Study
10201 Computer sciences, information science, bioinformatics
Confidentiality degree
is not subject to a state or trade secret
Impact factor
Impact factor: 0.585
Changed: 4/6/2010 10:38, Šárka Kolouchová, DiS.