Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, Yier Jin. Cyclic Obfuscation for Creating SAT-Unresolvable Circuits. In Laleh Behjat, Jie Han, Miroslav N. Velev, Deming Chen, editors, Proceedings of the on Great Lakes Symposium on VLSI 2017, Banff, AB, Canada, May 10-12, 2017. pages 173-178, ACM, 2017. [doi]
@inproceedings{ShamsiLMZPJ17,
title = {Cyclic Obfuscation for Creating SAT-Unresolvable Circuits},
author = {Kaveh Shamsi and Meng Li and Travis Meade and Zheng Zhao and David Z. Pan and Yier Jin},
year = {2017},
doi = {10.1145/3060403.3060458},
url = {http://doi.acm.org/10.1145/3060403.3060458},
researchr = {https://researchr.org/publication/ShamsiLMZPJ17},
cites = {0},
citedby = {0},
pages = {173-178},
booktitle = {Proceedings of the on Great Lakes Symposium on VLSI 2017, Banff, AB, Canada, May 10-12, 2017},
editor = {Laleh Behjat and Jie Han and Miroslav N. Velev and Deming Chen},
publisher = {ACM},
isbn = {978-1-4503-4972-7},
}