CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract).

Chuan Luo Shaowei Cai Kaile Su Wenxuan Huang

Published in: IJCAI (2017)

Keyphrases

extended abstract
search algorithm
maximum satisfiability
max sat
branch and bound
search strategy
search space
heuristic search
boolean satisfiability
search methods
search tree
sat problem
special case
simulated annealing
tabu search
search strategies
optimal solution