Zinovik, I., Kroening, D., & Chebiryak, Y. (2015). Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers.
Lua i Stíl Chicago (17ú heag.)Zinovik, I., D. Kroening, agus Y. Chebiryak. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.
Lua MLA (9ú heag.)Zinovik, I., et al. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.