Andrew C. Ling Deshanand P. Singh Stephen Dean Brown FPGA PLB Evaluation using Quantified Boolean Satisfiability. 19-24 2005 conf/fpl/2005 FPL db/conf/fpl/fpl2005.html#LingSB05