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

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
Abstract Views and Downloads
Views 112  abstracts
Downloads 53  downloads

Abstract Views and Downloads by Country
Switzerland Views 19  abstracts
Downloads 12  downloads
China Views 11  abstracts
Downloads 11  downloads
Views 39  abstracts
Downloads downloads
United States Views 13  abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Ireland 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