Random walk algorithms for SAT and constraint satisfaction problems
dc.contributor.author
Schneider, Stefan
dc.date.accessioned
2017-06-13T11:32:01Z
dc.date.available
2017-06-13T11:32:01Z
dc.date.issued
2010
dc.identifier.uri
http://hdl.handle.net/20.500.11850/152170
dc.identifier.doi
10.3929/ethz-a-006154476
dc.format
application/pdf
dc.language.iso
en
dc.publisher
Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of 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
RANDOM WALKS (WAHRSCHEINLICHKEITSRECHNUNG)
dc.subject
CONSTRAINT SATISFACTION ALGORITHMEN (GRAPHENTHEORIE)
dc.subject
PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
dc.subject
RANDOM WALKS (PROBABILITY THEORY)
dc.subject
CONSTRAINT SATISFACTION ALGORITHMS (GRAPH THEORY)
dc.title
Random walk algorithms for SAT and constraint satisfaction problems
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
006154476
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-13T11:37:46Z
ethz.source
ECOL
ethz.identifier.importid
imp59366af2192a942174
ethz.ecolpid
eth:1686
ethz.eth
yes
ethz.availability
Open access
ethz.rosetta.installDate
2017-07-17T08:00:38Z
ethz.rosetta.lastUpdated
2020-02-15T03:42:16Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Random%20walk%20algorithms%20for%20SAT%20and%20constraint%20satisfaction%20problems&rft.date=2010&rft.au=Schneider,%20Stefan&rft.genre=unknown&rft.btitle=Random%20walk%20algorithms%20for%20SAT%20and%20constraint%20satisfaction%20problems
Files in this item
Publication type
-
Master Thesis [1813]