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

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.