An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search

Shohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga. An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search. SIGARCH Computer Architecture News, 44(4):32-37, 2016. [doi]

Abstract

Abstract is missing.