Skip to main content
Skip to navigation
Skip to toolbar
An efficient SAT encoding of circuit codes
| Metadata Label | Value |
|---|---|
| Author(s): | Chebiryak, Yury, Kröning, Daniel |
| Publisher: | IEEE |
| Citation: | Chebiryak, Yury and Kröning, Daniel. An efficient SAT encoding of circuit codes. IEEE (2008). http://dx.doi.org/10.3929/ethz-a-005746267 |
| Document Type: | Conference Contributions |
| Documents: |
Text
(307.72KB) |
Detailed Information
| Metadata | Description |
|---|---|
| Title | An efficient SAT encoding of circuit codes |
| Author(s) |
Chebiryak, Yury Kröning, Daniel |
| Publication Place | S.l. |
| Publisher | IEEE |
| Publication Date | 2008 |
| Notes | In: International Symposium on Information Theory and its Applications, ISITA 2008, Auckland, New Zealand, 7-10 December 2008 |
| Language | English |
| DOI | http://dx.doi.org/10.3929/ethz-a-005746267 |
| Subject(s) |
Control Systems Theory, Information Theory Data |
| Keyword(s) |
CODING INFORMATION THEORY ALGEBRAIC THEORY OF ERROR-CORRECTING CODES |
| Organisational Unit | Computer Systems Institute |
| Online Publication Date | 2009 |
| 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-31180-01.pdf |
application/pdf | 307.72KB |
| Description | URL |
|---|---|
| NEBIS Link | http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=005746267 |
| Original Publisher | http://www.ieee.org/portal/site |
Abstract Views and Downloads  |
||
|---|---|---|
| Views | 72 |  |
| Downloads | 102 |  |
| Abstract Views and Downloads by Country |
|||
|---|---|---|---|
 |
Views | 26 | |
| Downloads | 30 | |
|
 United States |
Views | 9 | |
| Downloads | 22 | |
|
 Canada |
Views | 0 | |
| Downloads | 7 | |
|
 Switzerland |
Views | 9 | |
| Downloads | 7 | |
|
 China |
Views | 9 | |
| Downloads | 4 | |
|
 India |
Views | 1 | |
| Downloads | 4 | |
|
 United Kingdom |
Views | 0 | |
| Downloads | 4 | |
|
 Germany |
Views | 1 | |
| Downloads | 3 | |
|
 Japan |
Views | 3 | |
| Downloads | 3 | |
|
 Israel |
Views | 1 | |
| Downloads | 2 | |
|
 Spain |
Views | 3 | |
| Downloads | 2 | |
|
 Australia |
Views | 1 | |
| Downloads | 1 | |
|
 Egypt |
Views | 0 | |
| Downloads | 1 | |
|
 France |
Views | 1 | |
| Downloads | 1 | |
|
 Hungary |
Views | 0 | |
| Downloads | 1 | |
|
 Indonesia |
Views | 0 | |
| Downloads | 1 | |
|
 Ireland |
Views | 0 | |
| Downloads | 1 | |
|
 Italy |
Views | 2 | |
| Downloads | 1 | |
|
 Kuwait |
Views | 0 | |
| Downloads | 1 | |
|
 Philippines |
Views | 0 | |
| Downloads | 1 | |
|
 Serbia and Montenegro |
Views | 1 | |
| Downloads | 1 | |
|
 Taiwan |
Views | 0 | |
| Downloads | 1 | |
|
 Turkey |
Views | 0 | |
| Downloads | 1 | |
|
 Ukraine |
Views | 1 | |
| Downloads | 1 | |
|
 United Arab Emirates |
Views | 0 | |
| Downloads | 1 | |
|
 Ethiopia |
Views | 2 | |
| Downloads | 0 | |
|
 Austria |
Views | 1 | |
| Downloads | 0 | |
|
 Greece |
Views | 1 | |
| Downloads | 0 | |
|
E-Collection record created: Thu, 12 Feb 2009, 02:14:50 CET