金澤 健治(カナザワ ケンジ)
- 論文
- Decoupling-capacitor Allocation Problem Solved by Genetic Algorithm
Kazuma Shibasaka; Kenji Kanazawa; Yasunaga Moritoshi
Proceedings of 2013 IEEE Electrical Design of Advanced Packaging & Systems Symposium (EDAPS) 2013/pp.225-228, 2013-12 - An acceleration method for evolutionary systems based on iterated prisoner's dilemma
Yamaguchi Yoshiki; Kanazawa Kenji; Ohke Yoshiharu; Maruyama ...
3rd International Workshop on Applied Reconfigurable Computing, 2007-03 - An FPGA Solver for WSAT Algorithms
Kanazawa Kenji; Maruyama Tsutomu
15th International Conference on Field Programmable Logic and Applications, 2005-08 - 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
- Decoupling-capacitor Allocation Problem Solved by Genetic Algorithm