%0 Generic
%T Random walk algorithms for SAT
%A Giurgiu, Andrei
%I ETH, 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 PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
%K Data processing
%K RANDOM WALKS (WAHRSCHEINLICHKEITSRECHNUNG)
%K computer science
%D 2009
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C ETH, 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