An efficient SAT encoding of circuit codes

Metadata Label Value
Autor(en): Chebiryak, Yury, Kröning, Daniel
Verlag: IEEE
Zitierweise:

Chebiryak, Yury and Kröning, Daniel. An efficient SAT encoding of circuit codes. IEEE (2008). http://dx.doi.org/10.3929/ethz-a-005746267

Dokumententyp: Tagungsbeiträge  
Dokumente: Text (307.72KB)

Detailansicht

Metadaten Beschreibung
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) Theorie der Regelungssysteme, Informationstheorie
Daten
Keyword(s) CODIERUNG
INFORMATIONSTHEORIE
ALGEBRAISCHE THEORIE FEHLERKORRIGIERENDER CODES
Organisational Unit Institut für Computersysteme
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."
Beschreibung Dateiname MIME Type Grösse
Text   eth-31180-01.pdf application/pdf 307.72KB
Abstract Views und Downloads
Views 71  abstracts
Downloads 101  downloads

Abstract Views und Downloads nach Land
Views 26  abstracts
Downloads 30  downloads
United States Views abstracts
Downloads 22  downloads
Canada Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Japan 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
Ireland Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
Philippines 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