Andrew C. Ling, Deshanand P. Singh, Stephen Dean Brown. FPGA PLB Evaluation using Quantified Boolean Satisfiability. In Tero Rissa, Steven J. E. Wilton, Philip Heng Wai Leong, editors, Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005. pages 19-24, IEEE, 2005.
@inproceedings{LingSB05:1,
title = {FPGA PLB Evaluation using Quantified Boolean Satisfiability},
author = {Andrew C. Ling and Deshanand P. Singh and Stephen Dean Brown},
year = {2005},
tags = {C++},
researchr = {https://researchr.org/publication/LingSB05%3A1},
cites = {0},
citedby = {0},
pages = {19-24},
booktitle = {Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005},
editor = {Tero Rissa and Steven J. E. Wilton and Philip Heng Wai Leong},
publisher = {IEEE},
isbn = {0-7803-9362-7},
}