> 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 Beteiligte: Giurgiu, Andrei [VerfasserIn] Erschienen: ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science, 2009 Sprache: Englisch DOI: https://doi.org/20.500.11850/151559; https://doi.org/10.3929/ethz-a-005939758 Schlagwörter: 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 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