Random walk algorithms for SAT

Metadata Label Value
Author(s): Giurgiu, Andrei
Publisher: ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science
Citation:

Giurgiu, Andrei. Random walk algorithms for SAT. ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science (2009). http://dx.doi.org/10.3929/ethz-a-005939758

Document Type: Master and Bachelor Theses  
Documents: Text (538.50KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Random walk algorithms for SAT
Author(s) Giurgiu, Andrei
Publication Place Zurich
Publisher ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Institute of Theoretical Computer Science
Publication Date 2009
Notes Master Thesis, Eidgenössische Technische Hochschule Zürich, 2009
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005939758
Subject(s) Software
Keyword(s) PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
PROBABILITY THEORY
Organisational Unit Institute of Information Systems
Online Publication Date 2009
Description File Name MIME Type Size
Text   eth-506-01.pdf application/pdf 538.50KB
Abstract Views and Downloads
Views 95  abstracts
Downloads 274  downloads

Abstract Views and Downloads by Country
Views 27  abstracts
Downloads 77  downloads
United States Views 14  abstracts
Downloads 45  downloads
Switzerland Views 24  abstracts
Downloads 38  downloads
Germany Views 11  abstracts
Downloads 19  downloads
United Kingdom Views abstracts
Downloads 13  downloads
Canada Views abstracts
Downloads 12  downloads
China Views abstracts
Downloads 10  downloads
Denmark Views abstracts
Downloads 10  downloads
Hong Kong Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Slovakia Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Aruba Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
Luxembourg Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Slovenia Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Ethiopia Views abstracts
Downloads downloads


E-Collection record created: Tue, 22 Dec 2009, 05:34:43 CET