"SAT-based equivalence checking of threshold logic designs for ..."

Yexin Zheng, Michael S. Hsiao, Chao Huang (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics