Title :
An efficient SAT encoding of circuit codes
Author :
Chebiryak, Yury ; Kroening, Daniel
Author_Institution :
Comput. Syst. Inst., ETH Zurich, Zurich
Abstract :
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 sequences. In this paper, we describe an efficient SAT encoding of circuit codes, which enabled us to obtain new circuit codes.
Keywords :
analogue-digital conversion; computability; error correction codes; SAT encoding; circuit codes; hypercubes; periodic coordinate sequence; Analog-digital conversion; Binary codes; Circuits; Electronic mail; Encoding; Error correction codes; Genetic communication; Hypercubes; Information theory; Sequences;
Conference_Titel :
Information Theory and Its Applications, 2008. ISITA 2008. International Symposium on
Conference_Location :
Auckland
Print_ISBN :
978-1-4244-2068-1
Electronic_ISBN :
978-1-4244-2069-8
DOI :
10.1109/ISITA.2008.4895595
