Algorithms for (n, 3)-MAXSAT and parameterization above the all-true assignment.

Tatiana Belova Ivan Bliznets

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

Keyphrases

learning algorithm
data structure
orders of magnitude
real time
computational efficiency
computationally expensive
combinatorial optimization
machine learning
information retrieval
image processing
computationally efficient
theoretical analysis
times faster
recently developed
search methods