An efficient SAT encoding of circuit codes
Circuit codes in hypercubes are generalized snake-in-the-box codes and are used in analog-to-digital conversion devices. The construction of the longest known circuit codes is based on either an exhaustive search or an algorithm that restricts the search to the codes with periodic coordinate sequenc...
| Autori principali: | , |
|---|---|
| Natura: | Conference item |
| Pubblicazione: |
IEEE
2008
|