Constraint solving for synthesis and verification of threshold logic circuits

Published in IEEE Trans. CAD, 2020

Nian-Ze Lee and Jie-Hong R. Jiang. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40(5):904-917, 2021. https://doi.org/10.1109/TCAD.2020.3015441