@article{张建民_1210, author = {[张建民, 黎铁军, 马柯帆, 肖立权]}, title = {一种加速FPGA布线的不可满足子式求解算法}, publisher = {电子学报}, year = {2021}, journal = {电子学报}, volume = {49}, number = {6}, eid = {1210}, pages = {1210-1216}, keywords = {FPGA布线;布线约束;布尔可满足性;不可满足子式;局部搜索;消解否证}, doi = https://www.ejournal.org.cn/CN/10.12263/DZXB.20200670 }