Massive Parallel Max-SAT Solver Based on Speculative Computation.

Yasuki Iizuka Haruki Koshiba

Published in: IIAI-AAI (2019)

Keyphrases

parallel computation
parallel processing
data analysis
max sat
artificial intelligence
knowledge representation
language model
linear programming
parallel algorithm
computer architecture
parallel computers