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

Shohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga
January 2016
PDF DOI
Type
Conference paper
Publication
SIGARCH Comput. Archit. News
Conf