Investigating and improving the PPSZ algorithm for SAT

Hertli, Timon

Back to search

Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Theoretical Computer Science; Zürich

Investigating and improving the PPSZ algorithm for SAT

dc:creator Hertli, Timon

dc:date.issued2010

Degree

thesis:*

Grantor dc:publisher: Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Theoretical Computer Science; Zürich
Year dc:date.issued: 2010

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Hertli, Timon

Subjects

dc:subject × 5

Rights

Language dc:language: en

Identifiers

dc:identifier.*

Identifier: https://doi.org/10.3929/ethz-a-006206989
OAI record oai:identifier: https://www.research-collection.ethz.ch/oai/request?verb=GetRecord&metadataPrefix=qdc&identifier=oai%3Awww.research-collection.ethz.ch%3A20.500.11850%2F152298

Chain of custody

source

Harvested from: ETH Zürich
Base URL: www.research-collection.ethz.ch/oai/request
Last updated: 2026-08-21
Source record: OAI-PMH GetRecord

related terms

citation

Hertli, Timon. Investigating and improving the PPSZ algorithm for SAT. Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Theoretical Computer Science; Zürich, 2010. http://hdl.handle.net/20.500.11850/152298

Investigating and improving the PPSZ algorithm for SAT

Degree

Author and committee

Subjects

Rights

Identifiers

Chain of custody

More from ETH Zürich