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