Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits

Published in ICCAD, 2016

Nian-Ze Lee, Hao-Yuan Kuo, Yi-Hsiang Lai, and Jie-Hong R. Jiang. In Proceedings of the International Conference on Computer-Aided Design, ICCAD, pages 5:1-5:8. ACM, 2016. https://doi.org/10.1145/2966986.2967001