Exploiting the power of MIP solvers in MAXSAT

SAT, pp. 166-181, 2013.

Cited by: 71|Bibtex|Views10|DOI:https://doi.org/10.1007/978-3-642-39071-5_13
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments