@inproceedings{DBLP:conf/date/GoldbergPB01,
author = {Evguenii I. Goldberg and
Mukul R. Prasad and
Robert K. Brayton},
title = {Using SAT for combinational equivalence checking},
booktitle = {DATE},
year = {2001},
pages = {114-121},
ee = {http://doi.acm.org/10.1145/367072.367111},
bibsource = {DBLP, http://dblp.uni-trier.de}
}