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.