金澤 健治(カナザワ ケンジ)
- 論文
- 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
- An FPGA Solver for WSAT Algorithms