On Improvements of a SAT-Solver PCMGTP on FPGA.
On Improvements of a SAT-Solver PCMGTP on FPGA.
复制标题
FPGA 上 SAT 求解器 PCMGTP 的改进。
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Jun'ichi Matsuda
中科院分区：
文献类型：
--
作者：
Hiroshi Fujita;Ryuzo Hasegawa;Miyuki Koshimura;Shohei Kinoshita;Jun'ichi Matsuda
