Kuo-Hua Wang, TingTing Hwang
Boolean Matching for Incompletely Specified Functions
DAC, 1995.
@inproceedings{DAC-1995-WangH, author = "Kuo-Hua Wang and TingTing Hwang", booktitle = "{Proceedings of the 32nd Design Automation Conference}", doi = "10.1145/217474.217505", isbn = "0-89791-725-1", pages = "48--53", publisher = "{ACM Press}", title = "{Boolean Matching for Incompletely Specified Functions}", year = 1995, }