Clone: Solving Weighted Max-SAT in a Reduced Search Space.

Knot Pipatsrisawat Adnan Darwiche

Published in: Australian Conference on Artificial Intelligence (2007)

Keyphrases

weighted max sat
search space
max sat
sat solvers
search algorithm
branch and bound
satisfiability problem
heuristic search
constraint satisfaction
search strategy
metaheuristic
graph coloring
optimal solution
temporal logic
search procedure
sat problem
lower bound
sat instances