Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis1
Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Y. Darwiche · Journal on Satisfiability Boolean Modeling and Computation · 2008
We analyze, in this work, the performance of a recently introduced weighted Max-SAT solver, Clone, in the Max-SAT evaluation 2007. Clone utilizes a novel bound computation based on formula compilation that allows it to search in a reduced search spac