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
Igor Zinovik‚ Daniel Kroening and Yury Chebiryak