Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
2015
|
| _version_ | 1826304787479527424 |
|---|---|
| author | Zinovik, I Kroening, D Chebiryak, Y |
| author_facet | Zinovik, I Kroening, D Chebiryak, Y |
| author_sort | Zinovik, I |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T06:23:04Z |
| format | Journal article |
| id | oxford-uuid:f3532c45-a358-4bb9-b91d-bc7c2ea2d1a5 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:23:04Z |
| publishDate | 2015 |
| record_format | dspace |
| spelling | oxford-uuid:f3532c45-a358-4bb9-b91d-bc7c2ea2d1a52022-03-27T12:11:17ZComputing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−SolversJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:f3532c45-a358-4bb9-b91d-bc7c2ea2d1a5Department of Computer Science2015Zinovik, IKroening, DChebiryak, Y |
| spellingShingle | Zinovik, I Kroening, D Chebiryak, Y Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers |
| title | Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers |
| title_full | Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers |
| title_fullStr | Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers |
| title_full_unstemmed | Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers |
| title_short | Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers |
| title_sort | computing binary combinatorial gray codes via exhaustive search with sat solvers |
| work_keys_str_mv | AT zinoviki computingbinarycombinatorialgraycodesviaexhaustivesearchwithsatsolvers AT kroeningd computingbinarycombinatorialgraycodesviaexhaustivesearchwithsatsolvers AT chebiryaky computingbinarycombinatorialgraycodesviaexhaustivesearchwithsatsolvers |