Detailed Information on Publication Record
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
Článek v odborném periodiku
Field of Study
10201 Computer sciences, information science, bioinformatics
Confidentiality degree
není předmětem státního či obchodního tajemství
Změněno: 4/6/2010 10:38, Šárka Kolouchová, DiS.