Hochschulschrift
Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dateien im PDF-Format
Köln, Univ., Diss., 2010
- Creator
- URN
-
urn:nbn:de:hbz:38-31293
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:24 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas
Characterizing the Temperature of SAT Formulas
Proof Complexity for SAT practitioner
noSAT-MaxSAT
SAT OOC unleserlich sAt
SAT
SAT
SAT
SAT
SAT
SAT
SAT
Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas
Characterizing the Temperature of SAT Formulas
Proof Complexity for SAT practitioner
noSAT-MaxSAT
SAT OOC unleserlich sAt
SAT
SAT
SAT
SAT
SAT
SAT
SAT
Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas
Characterizing the Temperature of SAT Formulas
Proof Complexity for SAT practitioner
noSAT-MaxSAT
SAT OOC unleserlich sAt
SAT
SAT
SAT
SAT
SAT
SAT