Investigating and improving the PPSZ algorithm for SAT
dc.contributor.author
Hertli, Timon
dc.date.accessioned
2017-06-13T11:53:45Z
dc.date.available
2017-06-13T11:53:45Z
dc.date.issued
2010
dc.identifier.uri
http://hdl.handle.net/20.500.11850/152298
dc.identifier.doi
10.3929/ethz-a-006206989
dc.format
application/pdf
dc.language.iso
en
dc.publisher
Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Theoretical Computer Science
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
dc.subject
ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK)
dc.subject
PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
dc.subject
ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)
dc.title
Investigating and improving the PPSZ algorithm for SAT
dc.type
Master Thesis
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.size
Online-Datei
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
ethz.notes
Master Thesis, Eidgenössische Technische Hochschule Zürich, 2010.
ethz.identifier.nebis
006206989
ethz.publication.place
Zürich
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02643 - Institut für Theoretische Informatik / Inst. Theoretical Computer Science
ethz.date.deposited
2017-06-13T12:03:23Z
ethz.source
ECOL
ethz.identifier.importid
imp59366af580c9714718
ethz.ecolpid
eth:1991
ethz.eth
yes
ethz.availability
Open access
ethz.rosetta.installDate
2017-07-12T19:33:14Z
ethz.rosetta.lastUpdated
2020-02-15T03:45:10Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Investigating%20and%20improving%20the%20PPSZ%20algorithm%20for%20SAT&rft.date=2010&rft.au=Hertli,%20Timon&rft.genre=unknown&rft.btitle=Investigating%20and%20improving%20the%20PPSZ%20algorithm%20for%20SAT
Dateien zu diesem Eintrag
Publikationstyp
-
Master Thesis [2012]