测试向量最大压缩技术

描述了基于可满足性的测试向量压缩的整数线性规划 (ILP)模型 ,求解整数线性规划采用 0 - 1加法算法。由ISCAS85标准电路实验结果的比较说明 ,这种压缩测试向量的方法非常有效。