> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Elektronische Ressource Titel: Random walk algorithms for SAT and constraint satisfaction problems Beteiligte: Schneider, Stefan [VerfasserIn] Erschienen: Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science, 2010 Sprache: Englisch DOI: https://doi.org/20.500.11850/152170; https://doi.org/10.3929/ethz-a-006154476 Schlagwörter: CONSTRAINT SATISFACTION ALGORITHMEN (GRAPHENTHEORIE) ; RANDOM WALKS (PROBABILITY THEORY) ; PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME ; Data processing ; computer science ; RANDOM WALKS (WAHRSCHEINLICHKEITSRECHNUNG) ; PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS ; CONSTRAINT SATISFACTION ALGORITHMS (GRAPH THEORY) Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet