Dyfyniad APA

Zinovik, I., Kroening, D., & Chebiryak, Y. (2015). Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers.

Dyfyniad Arddull Chicago

Zinovik, I., D. Kroening, and Y. Chebiryak. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.

Dyfyniad MLA

Zinovik, I., et al. Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers. 2015.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.