Computing binary combinatorial gray codes via exhaustive search with SAT solvers

Igor Zinovik, Daniel Kröning & Yury Chebiryak
IEEE Transactions on Information Theory, 54 (4)
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.