Kenji Kanazawa

最新

• FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT MCSoC 2018: 217-224
• An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search SIGARCH Comput. Archit. News 44(4): 32-37 (2016)