FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT | IEEE Conference Publication | IEEE Xplore