Login / Signup
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis.
Knot Pipatsrisawat
Akop Palyan
Mark Chavira
Arthur Choi
Adnan Darwiche
Published in:
J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
</>
weighted max sat
search space
max sat
sat solvers
combinatorial optimization
genetic algorithm
optimal solution
evolutionary algorithm
optimization problems
branch and bound
search strategy
propositional satisfiability