Kenji Kanazawa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2005–2025
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICCSA | A Fast Savings Algorithm for Solving Large-Scale Euclidean CVRPs. | Kenji Kanazawa |
| 2019 | ISPA | Accelerating Swap-Based Tabu Search for Solving Maximum Clique Problems on FPGA. | Kenji Kanazawa |
| 2014 | FPL | FPGA acceleration of SAT/Max-SAT solving using variable-way cache. | Kenji Kanazawa, Tsutomu Maruyama |
| 2011 | FPL | An FPGA Solver for SAT-Encoded Formal Verification Problems. | Kenji Kanazawa, Tsutomu Maruyama |
| 2007 | FPL | An FPGA Solver for Very Large SAT Problems. | Kenji Kanazawa, Tsutomu Maruyama |
| 2006 | FPL | An FPGA Solver for Large SAT Problems. | Kenji Kanazawa, Tsutomu Maruyama |
| 2005 | FPL | An FPGA Solver for WSAT Algorithms. | Kenji Kanazawa, Tsutomu Maruyama |