Jason Cong, Kirill Minkovich. Improved SAT-based Boolean matching using implicants for LUT-based FPGAs. In André DeHon, Mike Hutton, editors, Proceedings of the ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays, FPGA 2007, Monterey, California, USA, February 18-20, 2007. pages 139-147, ACM, 2007. [doi]
@inproceedings{CongM07:0,
title = {Improved SAT-based Boolean matching using implicants for LUT-based FPGAs},
author = {Jason Cong and Kirill Minkovich},
year = {2007},
doi = {10.1145/1216919.1216944},
url = {http://doi.acm.org/10.1145/1216919.1216944},
tags = {rule-based},
researchr = {https://researchr.org/publication/CongM07%3A0},
cites = {0},
citedby = {0},
pages = {139-147},
booktitle = {Proceedings of the ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays, FPGA 2007, Monterey, California, USA, February 18-20, 2007},
editor = {André DeHon and Mike Hutton},
publisher = {ACM},
isbn = {978-1-59593-600-4},
}