TY - GEN
AU - Giurgiu, Andrei
TI - Random walk algorithms for SAT
PB - ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science
KW - RANDOM WALKS (PROBABILITY THEORY)
KW - PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
KW - PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
KW - Data processing
KW - RANDOM WALKS (WAHRSCHEINLICHKEITSRECHNUNG)
KW - computer science
PY - 2009
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation