According to our database1, Kenji Kanazawa authored at least 12 papers between 2005 and 2017.
Legend:Book In proceedings Article PhD thesis Other
An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA.
IEICE Transactions, 2017
An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search.
SIGARCH Computer Architecture News, 2016
High-Speed Calculation of Convex Hull in 2D Images Using FPGA.
Proceedings of the Parallel Computing: On the Road to Exascale, 2015
FPGA acceleration of SAT/Max-SAT solving using variable-way cache.
Proceedings of the 24th International Conference on Field Programmable Logic and Applications, 2014
Electrochemically-switchable emission and absorption by using luminescent Lanthanide(III) complex and electrochromic molecule toward novel display device with dual emissive and reflective mode.
An FPGA Solver for SAT-Encoded Formal Verification Problems.
Proceedings of the International Conference on Field Programmable Logic and Applications, 2011
An Approach for Solving Large SAT Problems on FPGA.
An FPGA Solver for Very Large SAT Problems.
Proceedings of the FPL 2007, 2007
An Acceleration Method for Evolutionary Systems Based on Iterated Prisoner's Dilemma.
Proceedings of the Reconfigurable Computing: Architectures, 2007
An FPGA Solver for Large SAT Problems.
Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), 2006
Ab initio fragment molecular orbital (FMO) method applied to analysis of the ligand-protein interaction in a pheromone-binding protein.
Computational Biology and Chemistry, 2005
An FPGA Solver for WSAT Algorithms.
Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), 2005