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)
Import to Mendeley

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
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
Abstract Views and Downloads
Views 99  abstracts
Downloads 145  downloads

Abstract Views and Downloads by Country
Views 35  abstracts
Downloads 45  downloads
United States Views 10  abstracts
Downloads 27  downloads
Japan Views abstracts
Downloads downloads
Switzerland Views 10  abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
China Views 19  abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Hong Kong Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Egypt Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
Indonesia Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
Philippines Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
United Arab Emirates Views abstracts
Downloads downloads
Ethiopia Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads


E-Collection record created: Thu, 12 Feb 2009, 02:14:50 CET