Algorithms and extremal properties of SAT and CSP

Metadata Label	Value
Author(s):	Scheder, Dominik Alban
Publisher:	ETH
Citation:	Scheder, Dominik Alban. Algorithms and extremal properties of SAT and CSP. ETH (2011). http://dx.doi.org/10.3929/ethz-a-006550605
Document Type:	Doctoral and Habilitation Theses
Documents:	Abstract (94.14KB), Fulltext (950.06KB)

Detailed Information

Metadata	Description
Title	Algorithms and extremal properties of SAT and CSP
Author(s)	Scheder, Dominik Alban
Publication Place	Zürich
Publisher	ETH
Publication Date	2011
Notes	Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 19614, 2011
Language	English
DOI	http://dx.doi.org/10.3929/ethz-a-006550605
Subject(s)	Theoretical Computer Science
Keyword(s)	CONSTRAINT SATISFACTION ALGORITHMS GRAPH THEORY ALGORITHMIC COMPLEXITY MATHEMATICS

Description	File Name	MIME Type	Size
Abstract	eth-2910-01.pdf	application/pdf	94.14KB
Fulltext	eth-2910-02.pdf	application/pdf	950.06KB

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=006550605

Abstract Views and Downloads
Views	56
Downloads	136

Abstract Views and Downloads by Country
	Views	13
	Downloads	46
Switzerland	Views	24
Switzerland	Downloads	36
United States	Views	3
United States	Downloads	12
Germany	Views	1
Germany	Downloads	11
China	Views	4
China	Downloads	5
Israel	Views	0
Israel	Downloads	5
France	Views	2
France	Downloads	3
Netherlands	Views	2
Netherlands	Downloads	3
Poland	Views	1
Poland	Downloads	3
Spain	Views	1
Spain	Downloads	2
Tunisia	Views	0
Tunisia	Downloads	2
United Kingdom	Views	0
United Kingdom	Downloads	2
Canada	Views	0
Canada	Downloads	1
Denmark	Views	1
Denmark	Downloads	1
Italy	Views	1
Italy	Downloads	1
Morocco	Views	0
Morocco	Downloads	1
Norway	Views	2
Norway	Downloads	1
Serbia and Montenegro	Views	1
Serbia and Montenegro	Downloads	1