"BDDMAP: A Technology Mapper Based on a New Covering Algorithm."

David S. Kung et al. (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics