Solving combinatorial problems with SAT

Metadata Label Value
Author(s): Chebiryak, Yury
Publisher: ETH
Citation:

Chebiryak, Yury. Solving combinatorial problems with SAT. ETH (2012). http://dx.doi.org/10.3929/ethz-a-007608469

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (102.16KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Solving combinatorial problems with SAT
Author(s) Chebiryak, Yury
Publication Place Zürich
Publisher ETH
Publication Date 2012
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 20737, 2012
Language English
DOI http://dx.doi.org/10.3929/ethz-a-007608469
ISBN 978-1-291-30897-6
Subject(s) Pure Mathematics (Algebra, Geometry, Topology, Number Theory)
Applied Mathematics
Keyword(s) COMBINATORIAL PROBLEMS
Organisational Unit Department of Computer Science
Online Publication Date 2013
Description File Name MIME Type Size
Abstract   eth-6530-01.pdf application/pdf 102.16KB
Abstract Views and Downloads
Views 213  abstracts
Downloads 117  downloads

Abstract Views and Downloads by Country
Views 92  abstracts
Downloads 36  downloads
Germany Views 16  abstracts
Downloads 23  downloads
United Kingdom Views 18  abstracts
Downloads 13  downloads
United States Views 21  abstracts
Downloads 11  downloads
China Views 19  abstracts
Downloads downloads
France Views 14  abstracts
Downloads downloads
Switzerland Views 13  abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Bulgaria Views abstracts
Downloads downloads
Croatia Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Kazakstan Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Argentina Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Ethiopia Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Liechtenstein Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads


E-Collection record created: Wed, 06 Feb 2013, 05:38:10 CET