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

研究者情報全体を表示

論文
  • An FPGA Solver for Large SAT Problems
    Kanazawa Kenji; Maruyama Tsutomu
    16th International Conference on Field Programmable Logic and Applications, 2006-08
  • An FPGA Solver for Very Large SAT Problems
    Kanazawa Kenji; Maruyama Tsutomu
    17th International Conference on Field Programmable Logic and Applications, 2007-08
  • An FPGA Solver for SAT-encoded Formal Verification Problems
    Kanazawa Kenji; Maruyama Tsutomu
    21st International Conference on Field Programmable Logic and Applications, 2011-09
  • 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