CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability.

Chuan Luo Shaowei Cai Wei Wu Zhong Jie Kaile Su

Published in: IEEE Trans. Computers (2015)

Keyphrases

search algorithm
maximum satisfiability
max sat
branch and bound
boolean satisfiability
search methods
search strategies
sat solvers
computational complexity
lower bound
search space
particle swarm optimization
search tree