Alan Mishchenko, Tsutomu Sasao
Large-scale SOP minimization using decomposition and functional properties
DAC, 2003.
@inproceedings{DAC-2003-MishchenkoS, author = "Alan Mishchenko and Tsutomu Sasao", booktitle = "{Proceedings of the 40th Design Automation Conference}", doi = "10.1145/775832.775872", isbn = "1-58113-688-9", pages = "149--154", publisher = "{ACM}", title = "{Large-scale SOP minimization using decomposition and functional properties}", year = 2003, }