David S. Kung, Robert F. Damiano, Theresa A. Nix, David J. Geiger. BDDMAP: A Technology Mapper Based on a New Covering Algorithm. In DAC. pages 484-487, 1992. [doi]
@inproceedings{KungDNG92,
title = {BDDMAP: A Technology Mapper Based on a New Covering Algorithm},
author = {David S. Kung and Robert F. Damiano and Theresa A. Nix and David J. Geiger},
year = {1992},
url = {http://portal.acm.org/citation.cfm?id=113938.149571},
tags = {rule-based},
researchr = {https://researchr.org/publication/KungDNG92},
cites = {0},
citedby = {0},
pages = {484-487},
booktitle = {DAC},
}