@misc
{TN_libero_mab2,
author = {
Schneider, Stefan
},
title = {
Random walk algorithms for SAT and constraint satisfaction problems
},
publisher = {Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science},
keywords = {
CONSTRAINT SATISFACTION ALGORITHMEN (GRAPHENTHEORIE)
,
PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
,
PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
,
RANDOM WALKS (WAHRSCHEINLICHKEITSRECHNUNG)
,
CONSTRAINT SATISFACTION ALGORITHMS (GRAPH THEORY)
,
RANDOM WALKS (PROBABILITY THEORY)
,
computer science
,
Data processing
},
year = {2010},
abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}