Login / Signup
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