四川大学学报(工程科学版)
四川大學學報(工程科學版)
사천대학학보(공정과학판)
JOURNAL OF SICHUAN UNIVERSITY
2001年
6期
94-96
,共3页
曾成碧%段述江%陈光(礻禹)
曾成碧%段述江%陳光(礻禹)
증성벽%단술강%진광(시우)
组合电路%线性规划%0-1算法
組閤電路%線性規劃%0-1算法
조합전로%선성규화%0-1산법
描述了基于可满足性的测试向量压缩的整数线性规划(ILP)模型,求解整数线性规划采用0-1加法算法.由ISCAS85标准电路实验结果的比较说明,这种压缩测试向量的方法非常有效.
描述瞭基于可滿足性的測試嚮量壓縮的整數線性規劃(ILP)模型,求解整數線性規劃採用0-1加法算法.由ISCAS85標準電路實驗結果的比較說明,這種壓縮測試嚮量的方法非常有效.
묘술료기우가만족성적측시향량압축적정수선성규화(ILP)모형,구해정수선성규화채용0-1가법산법.유ISCAS85표준전로실험결과적비교설명,저충압축측시향량적방법비상유효.