Exploiting the power of MIP solvers in MAXSAT
SAT, pp. 166-181, 2013.
maxsat is an optimization version of satisfiability. Since many practical problems involve optimization, there are a wide range of potential applications for effective maxsat solvers. In this paper we present an extensive empirical evaluation of a number of maxsat solvers. In addition to traditional maxsat solvers, we also evaluate the us...More
Full Text (Upload PDF)
PPT (Upload PPT)