Kenji Kanazawa

According to our database1, Kenji Kanazawa authored at least 12 papers between 2005 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA.
IEICE Transactions, 2017

2016
An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search.
SIGARCH Computer Architecture News, 2016

2015
High-Speed Calculation of Convex Hull in 2D Images Using FPGA.
Proceedings of the Parallel Computing: On the Road to Exascale, 2015

2014
FPGA acceleration of SAT/Max-SAT solving using variable-way cache.
Proceedings of the 24th International Conference on Field Programmable Logic and Applications, 2014

2013
Electrochemically-switchable emission and absorption by using luminescent Lanthanide(III) complex and electrochromic molecule toward novel display device with dual emissive and reflective mode.
Displays, 2013

2011
An FPGA Solver for SAT-Encoded Formal Verification Problems.
Proceedings of the International Conference on Field Programmable Logic and Applications, 2011

2010
An Approach for Solving Large SAT Problems on FPGA.
TRETS, 2010

2007
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

2006
An FPGA Solver for Large SAT Problems.
Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), 2006

2005
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


  Loading...