一种加速FPGA布线的不可满足子式求解算法
张建民, 黎铁军, 马柯帆, 肖立权
An Unsatisfiable Subformula Computing Algorithm to Accelerate FPGA Routing
ZHANG Jian-min, LI Tie-jun, MA Ke-fan, XIAO Li-quan
电子学报 . 2021, (6): 1210 -1216 .  DOI: 10.12263/DZXB.20200670