Computing binary combinatorial gray codes via exhaustive search with SAT solvers

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

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

Dokumententyp: Zeitschriftenbeiträge  
Dokumente: Text
Import to Mendeley

Detailansicht

Metadaten Beschreibung
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
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005706906
Subject(s) Software
Theorie der Regelungssysteme, Informationstheorie
Keyword(s) ALGEBRAISCHE KOMBINATORIK
CODIERUNG
Organisational Unit Departement Informatik
Online Publication Date 2008
Copyright Notice Originally published in: IEEE transactions on information theory54 (2008) 4/6. - ©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-30992-01.pdf application/pdf
Abstract Views und Downloads
Views 140  abstracts
Downloads 54  downloads

Abstract Views und Downloads nach Land
Switzerland Views 19  abstracts
Downloads 12  downloads
China Views 15  abstracts
Downloads 11  downloads
Views 57  abstracts
Downloads downloads
United States Views 14  abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Lithuania Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Philippines Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
New Zealand Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Thu, 11 Dec 2008, 02:15:44 CET