Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers

Bibliográfalaš dieđut
Váldodahkkit: Zinovik, I, Kroening, D, Chebiryak, Y
Materiálatiipa: Journal article
Almmustuhtton: 2015