NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT.

Zhendong Lei Shaowei Cai

Published in: Comput. J. (2020)

Keyphrases

search algorithm
search space
upper bound
heuristic search
search methods
artificial intelligence
expert systems
search tree
search procedure
sat problem