An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search. - Shohei Sassa; Kenji Kanazawa; Shaowei Cai 001; Moritoshi Yasunaga (SIGARCH Comput. Archit. News, 2016)