# Kenji Kanazawa

According to our database

Collaborative distances:

^{1}, Kenji Kanazawa authored at least 13 papers between 2005 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT.

Proceedings of the 12th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2018

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