J
2005
Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing
ČEPEK, Ondřej and Petr KUČERA
Basic 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
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í
Displayed: 5/11/2024 07:21