%0 Generic
%T Random walk algorithms for SAT and constraint satisfaction problems
%A Schneider, Stefan
%I Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science
%K RANDOM WALKS (PROBABILITY THEORY)
%K PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
%K CONSTRAINT SATISFACTION ALGORITHMS (GRAPH THEORY)
%K CONSTRAINT SATISFACTION ALGORITHMEN (GRAPHENTHEORIE)
%K PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
%K Data processing
%K RANDOM WALKS (WAHRSCHEINLICHKEITSRECHNUNG)
%K computer science
%D 2010
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation