KIT | KIT-Bibliothek | Impressum

The 2-SAT problem of regular signed CNF formulas

Beckert, Bernhard; Haehnle, Reiner; Manya, Felip



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Englisch
Identifikator KITopen ID: 34252000
Erscheinungsvermerk In: Proceedings of the International Symposium on Multiple-valued Logic, ISMVL, Portland, OR 2000. IEEE Press 2000. S. 331-336.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page