Title: | An Efficient SAT Encoding of Circuit Codes |
---|---|
Links: | Homepage Document as PDF |
Authors: | Yury Chebiryak |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{ck2008-2, AUTHOR = { Chebiryak, Yury and Kroening, Daniel }, TITLE = { An Efficient {SAT} Encoding of Circuit Codes }, BOOKTITLE = { International Symposium on Information Theory and its Applications (ISITA) }, YEAR = { 2008 }, PUBLISHER = { IEEE }, PAGES = { 1235--1238 }, MONTH = { December }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.