金澤 健治(カナザワ ケンジ)

研究者情報全体を表示

論文

• 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