Media type: Electronic Resource Title: Random walk algorithms for SAT and constraint satisfaction problems Contributor: Schneider, Stefan [Author] imprint: Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science, 2010 Language: English DOI: https://doi.org/20.500.11850/152170; https://doi.org/10.3929/ethz-a-006154476 Keywords: RANDOM WALKS (PROBABILITY THEORY) ; PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME ; CONSTRAINT SATISFACTION ALGORITHMS (GRAPH THEORY) ; CONSTRAINT SATISFACTION ALGORITHMEN (GRAPHENTHEORIE) ; PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS ; Data processing ; RANDOM WALKS (WAHRSCHEINLICHKEITSRECHNUNG) ; computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted