> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing Beteiligte: Čepek, Ondřej; Kučera, Petr Erschienen: Elsevier BV, 2005 Erschienen in: Discrete Applied Mathematics, 149 (2005) 1-3, Seite 14-52 Sprache: Englisch DOI: 10.1016/j.dam.2003.12.011 ISSN: 0166-218X Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang