An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search SIGARCH Comput. Archit. News 44(4): 32-37 (2016)