Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers
Igor Zinovik‚ Daniel Kroening and Yury Chebiryak
Details
| Journal |
IEEE Transactions on Information Theory |
| Month |
April |
| Note |
To appear. |
| Year |
2008 |
Links
Related pages
|
People |