Fang Yu Chung-Hung Tsai Yao-Wen Huang D. T. Lee Hung-Yau Lin Sy-Yen Kuo Efficient Exact Spare Allocation via Boolean Satisfiability. 361-370 2005 conf/dft/2005 DFT http://doi.ieeecomputersociety.org/10.1109/DFTVS.2005.32 db/conf/dft/dft2005.html#YuTHLLK05