Computing binary combinatorial gray codes via exhaustive search with SAT solvers

Download

Open access

Author

Date

2008-04

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Download

Rights / license

Permanent link

https://doi.org/10.3929/ethz-a-005706906

Publication status

published

External links

Journal / series

IEEE Transactions on Information Theory

Volume

54(4)

Pages / Article No.

1819 - 1823

Publisher

IEEE

Subject

Gray codes; Binary sequences; Cyclic codes

Organisational unit

03462 - Poulikakos, Dimos (emeritus) / Poulikakos, Dimos (emeritus)
02150 - Dep. Informatik / Dep. of Computer Science
03686 - Kröning, Daniel

More

ETH Bibliography

yes

Altmetrics

Research Collection