Login / Signup

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.

Chuan LuoShaowei CaiKaile SuWenxuan Huang
Published in: Artif. Intell. (2017)
Keyphrases
  • search algorithm
  • max sat
  • maximum satisfiability
  • search space
  • boolean satisfiability
  • search tree
  • search procedure
  • lower bound
  • scheduling problem
  • tabu search
  • branch and bound
  • search methods