, 3)-MaxSAT algorithms.

Chao Xu Jianer Chen Jianxin Wang

Published in: Theor. Comput. Sci. (2019)

Keyphrases

orders of magnitude
significant improvement
machine learning
learning algorithm
times faster
image processing
theoretical analysis
recently developed
data sets
information retrieval
website
computational complexity
optimization problems
linear programming
computationally efficient
sat solvers