电子学报2021，Vol.49Issue(6)：1210-1216,7.DOI:10.12263/DZXB.20200670
一种加速FPGA布线的不可满足子式求解算法
An Unsatisfiable Subformula Computing Algorithm to Accelerate FPGA Routing
摘要
关键词
FPGA布线/布线约束/布尔可满足性/不可满足子式/局部搜索/消解否证分类
信息技术与安全科学引用本文复制引用
张建民,黎铁军,马柯帆,肖立权..一种加速FPGA布线的不可满足子式求解算法[J].电子学报,2021,49(6):1210-1216,7.基金项目
国家自然科学基金(No.62072464,No.U19A2062) （No.62072464,No.U19A2062）
并行与分布处理国家级重点实验室开放基金(No.WDZC20205500116) （No.WDZC20205500116）
