Skip to main content
Skip to navigation
Skip to toolbar
Computing binary combinatorial gray codes via exhaustive search with SAT solvers
| Metadata Label | Value |
|---|---|
| Author(s): | Zinovik, Igor, Kröning, Daniel, Chebiryak, Yury |
| Publisher: | IEEE |
| Citation: | Zinovik, Igor, Kröning, Daniel and Chebiryak, Yury. Computing binary combinatorial gray codes via exhaustive search with SAT solvers. IEEE (2008). http://dx.doi.org/10.3929/ethz-a-005706906 |
| Document Type: | Journal Items |
| Documents: |
Text
|
Detailed Information
| Metadata | Description |
|---|---|
| Title | Computing binary combinatorial gray codes via exhaustive search with SAT solvers |
| Author(s) |
Zinovik, Igor Kröning, Daniel Chebiryak, Yury |
| Publication Place | S.l. |
| Publisher | IEEE |
| Publication Date | 2008 |
| Journal Title | IEEE transactions on information theory |
| Journal Part | 54 (2008) 4/6 |
| Language | English |
| DOI | http://dx.doi.org/10.3929/ethz-a-005706906 |
| Subject(s) |
Software Control Systems Theory, Information Theory |
| Keyword(s) |
ALGEBRAIC COMBINATORICS CODING INFORMATION THEORY |
| Organisational Unit | Department of Computer Science |
| Online Publication Date | 2008 |
| Copyright Notice | ©2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
| Description | File Name | MIME Type | Size |
|---|---|---|---|
| Text |
eth-30992-01.pdf |
application/pdf |
| Description | URL |
|---|---|
| NEBIS Link | http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=005706906 |
| Original Publisher | http://www.ieee.org/portal/site |
Abstract Views and Downloads  |
||
|---|---|---|
| Views | 81 |  |
| Downloads | 51 |  |
| Abstract Views and Downloads by Country |
|||
|---|---|---|---|
 China |
Views | 8 | |
| Downloads | 11 | |
|
 Switzerland |
Views | 14 | |
| Downloads | 10 | |
|
 |
Views | 22 | |
| Downloads | 9 | |
|
 United States |
Views | 12 | |
| Downloads | 8 | |
|
 Germany |
Views | 4 | |
| Downloads | 5 | |
|
 Ireland |
Views | 1 | |
| Downloads | 1 | |
|
 Japan |
Views | 1 | |
| Downloads | 1 | |
|
 Korea, Republic of |
Views | 1 | |
| Downloads | 1 | |
|
 Lithuania |
Views | 0 | |
| Downloads | 1 | |
|
 Poland |
Views | 2 | |
| Downloads | 1 | |
|
 Serbia and Montenegro |
Views | 2 | |
| Downloads | 1 | |
|
 Sweden |
Views | 1 | |
| Downloads | 1 | |
|
 United Kingdom |
Views | 2 | |
| Downloads | 1 | |
|
 Philippines |
Views | 2 | |
| Downloads | 0 | |
|
 Belgium |
Views | 1 | |
| Downloads | 0 | |
|
 France |
Views | 1 | |
| Downloads | 0 | |
|
 Greece |
Views | 1 | |
| Downloads | 0 | |
|
 India |
Views | 1 | |
| Downloads | 0 | |
|
 New Zealand |
Views | 1 | |
| Downloads | 0 | |
|
 Norway |
Views | 1 | |
| Downloads | 0 | |
|
 Romania |
Views | 1 | |
| Downloads | 0 | |
|
 Turkey |
Views | 1 | |
| Downloads | 0 | |
|
 Ukraine |
Views | 1 | |
| Downloads | 0 | |
|
E-Collection record created: Thu, 11 Dec 2008, 02:15:44 CET