An efficient SAT encoding of circuit codes

Thumbnail
Metadata only
Author
Chebiryak, Yury
Kröning, Daniel
Date
2008
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
IEEE
Book title
2008 International Symposium on Information Theory and its Applications (ISITA)
Pages / Article No.
1 - 4
Publisher
IEEE
Event
International Symposium on Information Theory and its Applications, ISITA2008, December 7-10, 2008
Organisational unit
03686 - Kröning, Daniel  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics