@article{zkc2008,
  title = "Computing Binary Combinatorial {Gray} Codes via Exhaustive Search with {SAT}-Solvers",
  author = "Zinovik, Igor and Kroening, Daniel and Chebiryak, Yury",
  year = "2008",
  journal = "IEEE Transactions on Information Theory",
  month = "April",
  note = "To appear.",
}