Research
Publications
Academic Resources
Software Tools
People
Contact
English
English
中文 (简体)
Kenji Kanazawa
Latest
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)
Cite
×