Computing binary combinatorial gray codes via exhaustive search with SAT solvers

Name: Computing binary combinatorial gray codes via exhaustive search with SAT solvers
License: Open Access

Zinovik, Igor et al.

DataCite · Datasets · License: Open Access

gray codes, binary sequences, cyclic codes

This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Record · ID 401819
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.