Sign in

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

Zhendong LeiShaowei 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