Skip to main content

Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers

Igor Zinovik‚ Daniel Kroening and Yury Chebiryak

Journal
IEEE Transactions on Information Theory
Month
April
Note
To appear.
Year
2008