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,
}