Kanazawa Kenji
- Articles
- FPGAを用いたWSATアルゴリズムの高速計算
金澤 健治; 丸山 勉
電子情報通信学会論文誌D, 2006-06 - FPGAを用いた大規模な充足可能性問題の高速計算
金澤 健治; 丸山 勉
電子情報通信学会論文誌D, 2007-10 - An Approach for Solving Large SAT Problems on FPGA
Kanazawa Kenji; Maruyama Tsutomu
ACM Transactions on Reconfigurable Technology and Systems, 2010-12
- FPGAを用いたWSATアルゴリズムの高速計算