Amoeba-inspired SAT Solvers on FPGA through High Level Synthesis

Amoeba-inspired SAT Solvers on FPGA through High Level Synthesis
复制标题

通过高级综合在 FPGA 上实现受阿米巴启发的 SAT 求解器

DOI:
--
复制
发表时间:
2017
期刊:
影响因子:
--
通讯作者:
Anh Nguyen Hoang Ngoc and Masashi Aono and Yuko Hara-Azumi
Anh Nguyen Hoang Ngoc and Masashi Aono and Yuko Hara-Azumi
中科院分区:
--
文献类型:
--
作者:
Paniti Achararit;Itaru Hida;Tetsuya Asai;and Yuko Hara-Azumi;原 祐子;Hisashi Osawa and Yuko Hara-Azumi;Anh Nguyen Hoang Ngoc and Masashi Aono and Yuko Hara-Azumi

文献摘要

相似文献