DocumentCode
3281773
Title
An efficient SAT encoding of circuit codes
Author
Chebiryak, Yury ; Kroening, Daniel
Author_Institution
Comput. Syst. Inst., ETH Zurich, Zurich
fYear
2008
fDate
7-10 Dec. 2008
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISITA.2008.4895595
Filename
4895595
Link To Document