PAPERS

Title:Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT-Solvers
Links:Homepage
Document as PDF
Authors:Igor Zinovik
Daniel Kroening EMail
Yury Chebiryak
Remarks:
Topics:

Bibtex:

@article{zkc2008,
  AUTHOR    = { Zinovik, Igor
                and Kroening, Daniel
                and Chebiryak, Yury },
  TITLE     = { Computing Binary Combinatorial {Gray} Codes via Exhaustive Search with {SAT}-Solvers },
  YEAR      = { 2008 },
  PUBLISHER = { IEEE },
  PAGES     = { 1819--1823 },
  JOURNAL   = { IEEE Transactions on Information Theory },
  VOLUME    = { 54 },
  MONTH     = { April },
  NUMBER    = { 4 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.