Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis1

Abstract

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