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
中科院分区:
文献类型:
--
作者:
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