Random walk algorithms for SAT and constraint satisfaction problems

Download
Text (PDF, 508.1Kb)
Thumbnail
Open access
Autor(in)
Schneider, Stefan
Datum
2010
Typ
    Master Thesis
Rechte / Lizenz
In Copyright - Non-Commercial Use Permitted
Persistenter Link
https://doi.org/10.3929/ethz-a-006154476
Publikationsstatus
published
Verlag
Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science
Thema
PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME; RANDOM WALKS (WAHRSCHEINLICHKEITSRECHNUNG); CONSTRAINT SATISFACTION ALGORITHMEN (GRAPHENTHEORIE); PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS; RANDOM WALKS (PROBABILITY THEORY); CONSTRAINT SATISFACTION ALGORITHMS (GRAPH THEORY)
Organisationseinheit
02643 - Institut für Theoretische Informatik / Inst. Theoretical Computer Science
Anmerkungen
Master thesis, Eidgenössische Technische Hochschule Zürich, 2010.
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics