F. YuC. H. TsaiY. W. HuangH. Y. LinD. T. LeeSY-YEN KUO2018-09-102018-09-102005-10http://scholars.lib.ntu.edu.tw/handle/123456789/317693Efficient Exact Spare Allocation via Boolean Satisfiabilityconference paper10.1109/dftvs.2005.322-s2.0-28444494702