Yasuki Iizuka, Haruki Koshiba. Massive Parallel Max-SAT Solver Based on Speculative Computation. In 8th International Congress on Advanced Applied Informatics, IIAI-AAI 2019, Toyama, Japan, July 7-11, 2019. pages 1093-1094, IEEE, 2019. [doi]
Abstract is missing.